Fri, 28 Jan 2011 12:06:21 +0000 6838943: inference: javac is not handling type-variable substitution properly
mcimadamore [Fri, 28 Jan 2011 12:06:21 +0000] rev 8230
6838943: inference: javac is not handling type-variable substitution properly Summary: free type-variables are being replaced with type-variables bound to forall type leading to unsoundness Reviewed-by: jjg, dlsmith
(0) -3000 -1000 -300 -100 -30 -10 -1 +1 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip