> On Apr 24, 2020, at 1:40 PM, Brian Goetz <brian.go...@oracle.com> wrote: > >> I wouldn't suggest a syntactic restriction on 'this'—that's a brittle way to >> try to provide guarantees about not leaking the object being instantiated. >> (What about the entities in scope? What about 'super'? What about inner >> class instantiations? It's whack-a-mole.) > What if we said that `this` were DU in the entire body of the compact ctor, > just as it is before the this/super call? This would obviate the need to > create yet another model (like static, but not quite), and instead would keep > you from depending on `this`.
I understand what you mean, but it doesn't work like that. "'this' is DU" is handled by the spec as "you're in a static context". Many operations that morally make use of 'this' don't actually talk about it as if it were a variable.
