Final variables without explicit type: Intersection types issue.

Florian Weimer fw at
Sun Mar 22 08:15:06 PDT 2009

* Neal Gafter:

> On Sun, Mar 22, 2009 at 2:43 AM, Florian Weimer <fw at> 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.

Makes sense.

Does the definition of LocalVariableTypeTable need updating?  I assume
the intersection type would show up in it.  (I can't find its
specification, unfortunately.  It seems this wasn't merged into the
JVM spec.)

More information about the coin-dev mailing list