test/tools/javac/generics/inference/6638712/T6638712e.out

Wed, 11 Apr 2012 10:50:11 +0100

author
mcimadamore
date
Wed, 11 Apr 2012 10:50:11 +0100
changeset 1251
6f0ed5a89c25
parent 1238
e28a06a3c5d9
child 1268
af6a4c24f4e3
permissions
-rw-r--r--

7154127: Inference cleanup: remove bound check analysis from visitors in Types.java
Summary: Remove bound checking rules from recursive subtype visitors in Types.java and replace with centralized bound-checking logic
Reviewed-by: jjg, dlsmith

     1 T6638712e.java:17:27: compiler.err.prob.found.req.1: (compiler.misc.invalid.inferred.types: X, (compiler.misc.no.conforming.assignment.exists: T6638712e.Foo<java.lang.Boolean,java.lang.Boolean>, T6638712e.Foo<? super java.lang.Object,? extends java.lang.Boolean>))
     2 1 error

mercurial