On Saturday, 21 December 2013 at 22:14:51 UTC, Martin Nowak wrote:
What? It's a major design win that we don't have to rerun semantic for every identical instantiation, in the same sense that we don't have to reinclude header files.
I know that and completely agree with that.
Or are you only talking about access checks?
Yes.
I don't think that handling access resolution separately from look-up resolution is desirable.
That was my attitude initially when I have learned about this decision but it is root to certain class of problems in generic code and I have slowly moved to position that RAI for this exception is high enough.
