18.5.2 "the resulting instantiations are not considered part of B1."

Stephan Herrmann stephan.herrmann at berlin.de
Thu Nov 28 06:01:50 PST 2013

On 11/22/2013 12:55 AM, Dan Smith wrote:
> [..]
> Lets try this instead:
> "(While, as a final step in 18.5.1, it was necessary to demonstrate that the inference variables in B1 could be resolved in order to establish applicability, an instantiation produced by this resolution step is not considered part of B1.)"
> The instantiation for T#0 sticks around because we already knew it when B1 was defined, before the resolution step.
> Put another way, the resolution step described as the final step of 18.5.1 is tentative, and its results are immediately discarded.

Thanks, now I got the meaning and this helped fix a significant bunch of regressions.


More information about the lambda-spec-experts mailing list