jdk-24/langtools/test/tools/javac/generics/inference/6638712/T6638712e.out

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>))
1 error
7154127: Inference cleanup: remove bound check analysis from visitors in Types.java Remove bound checking rules from recursive subtype visitors in Types.java and replace with centralized bound-checking logic Reviewed-by: jjg, dlsmith 2012-04-11 10:50:11 +01:00			`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>))`
6638712: Inference with wildcard types causes selection of inapplicable method Added global sanity check in order to make sure that return type inference does not violate bounds constraints Reviewed-by: jjg 2009-06-16 10:46:37 +01:00			`1 error`