Details
-
Type:
Sub-task
-
Status:
Closed
-
Priority:
Major
-
Resolution: Fixed
-
Affects Version/s: None
-
Fix Version/s: 1.1-beta-2
-
Component/s: None
-
Labels:None
-
Number of attachments :
Description
example:
class B<T extends Interface1 & Interface2> {
T foo(){}
}
resulting signature for class head: <T::LInterface1;:LInterface2;>Ljava/lang/Object;
resulting signature for method: ()LInterface1;
"left most bound" is used for all usages of T in B!
needed checks: ensure Interface1 != Interface2
done