Maurizio Cimadamore 15959fbf11 6838943: inference: javac is not handling type-variable substitution properly ...

Free type-variables are being replaced with type-variables bound to forall type leading to unsoundness

Reviewed-by: jjg, dlsmith

2011-01-28 12:06:21 +00:00

..

T6838943.java

6838943: inference: javac is not handling type-variable substitution properly

2011-01-28 12:06:21 +00:00

T6838943.out

6838943: inference: javac is not handling type-variable substitution properly

2011-01-28 12:06:21 +00:00