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.