Why does this not compile?

[Steven Schveighoffer]

On 3/6/18 5:27 PM, Timon Gehr wrote:
> The reasoning "the reference is stored in the type yet not part of the 
> type" does not work for pure functions, as then you cannot offer an 
> alternative explanation in terms of an external data store.

Yeah, the more I think about it, the more I think the context pointer 
simply needs to be part of the instance in the type system. I posted a 
threading issue elsewhere.

The problem is, correcting the bug will break a lot of code.

-Steve