Logical location of template instantiations

[Timon Gehr via Digitalmars-d]

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.

> Regardless, while that idea makes theoretical sense, I'm not sure that it
> makes sense from the standpoint of how alias parameters are currently
> implemented.

That ought to be completely irrelevant.