Final variables without explicit type: Intersection types issue.
neal at gafter.com
Sun Mar 22 07:54:08 PDT 2009
On Sun, Mar 22, 2009 at 2:43 AM, Florian Weimer <fw at deneb.enyo.de> wrote:
> * Neal Gafter:
> > What's the problem just leaving the type of the variable an intersection
> > type?
> For local variables, I think it's possible. For fields, it requires
> class file format changes, and updates to the reflection and JSR 269
> APIs. I could be mistaken, though.
I would suggest this kind of type inference only be allowed for local
variables. That makes the spec and implementation fairly simple.
More information about the coin-dev