test/tools/javac/generics/inference/6315770/T6315770.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

mcimadamore@1238 1 T6315770.java:16:42: compiler.err.prob.found.req.1: (compiler.misc.undetermined.type: <T>T6315770<T>, (compiler.misc.no.unique.maximal.instance.exists: T, java.lang.String,java.lang.Integer,java.lang.Runnable))
mcimadamore@1251 2 T6315770.java:17:40: compiler.err.prob.found.req.1: (compiler.misc.invalid.inferred.types: T, (compiler.misc.inferred.do.not.conform.to.lower.bounds: java.lang.Integer&java.lang.Runnable, java.lang.String))
mcimadamore@210 3 2 errors

mercurial