Final variables without explicit type: Intersection types issue. (original) (raw)
Florian Weimer fw at deneb.enyo.de
Sun Mar 22 08:15:06 PDT 2009
- Previous message: Final variables without explicit type: Intersection types issue.
- Next message: Final variables without explicit type: Intersection types issue.
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
- Neal Gafter:
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.
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.)
- Previous message: Final variables without explicit type: Intersection types issue.
- Next message: Final variables without explicit type: Intersection types issue.
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]