Re: [Jastadd] Question on types such as "wildcards.& java.lang.Integer& java.lang.String"

From: Eric Bodden <>
Date: Fri, 18 Jan 2013 16:20:49 +0100

> The type of an expression such as the one in your example is incorrectly
> evaluated in JastAddJ currently.
> This has been known for some time know. I added the bug on the issue tracker
> when I was working on Java 7.
> It's not something that we can easily fix, if you have any suggestions I
> would be all ears! The type analysis concerning LUBType is *very*
> complicated. I was planning to work through it at some point and try to get
> an understanding of why it currently doesn't work but right now I have no
> clue.

Thanks for conforming. I wonder: why is this so hard? At least for
reference types, don't you "just" have to search for the common first
ancestor in the class hierarchy?

Received on Fri Jan 18 2013 - 16:21:38 CET

This archive was generated by hypermail 2.3.0 : Wed Apr 16 2014 - 17:19:06 CEST