On 5/12/2014 2:32 PM, Steven Schveighoffer wrote:
It's still forbidden. Andrei wrote a template that will verify this at
runtime, but I don't recall its name.
Can you cite the spec where it says it's forbidden? Forgotten templates are not
a convincing argument.
Regardless, Java can use a moving GC, and allows self references. The idea that
self references prevent a moving GC is simply false. If you think about it a
bit, you will understand why.
I see this is not specified in the documentation. Not sure what happened here,
but I'll have to think about it.