On 08.07.2016 09:45, Jonathan M Davis via Digitalmars-d wrote:
On Thursday, July 07, 2016 23:20:28 Timon Gehr via Digitalmars-d wrote:
On 07.07.2016 17:11, Jonathan M Davis via Digitalmars-d wrote:
   So,

the buck would have to be passed at every point that the symbol were
passed
as an alias argument such that the check for accessibility was only done
when the symbol first became an alias.
...

No, it is way simpler than that. Just don't ever check for visibility of
the symbol accessed through an alias.

It has to be checked at some point, otherwise using a template alias
parameter would allow you to completely bypass the accessibility modifiers.
It's just that it seems like it should be checked at the point where the
symbol is passed to the template and not within the template itself, whereas
right now, it's checked within the template.

- Jonathan M Davis


(That's what I said. In any case, it is simple to implement.)

Reply via email to