Final variables without explicit type: Intersection types issue.

[Florian Weimer]

* 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.