langtools/test/tools/javac/generics/inference/6638712/T6638712e.out
author mcimadamore
Tue, 16 Jun 2009 10:46:37 +0100
changeset 3140 15a274b13051
child 3766 7e2df99e9223
permissions -rw-r--r--
6638712: Inference with wildcard types causes selection of inapplicable method Summary: Added global sanity check in order to make sure that return type inference does not violate bounds constraints Reviewed-by: jjg
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
3140
15a274b13051 6638712: Inference with wildcard types causes selection of inapplicable method
mcimadamore
parents:
diff changeset
     1
T6638712e.java:40:27: compiler.err.invalid.inferred.types: X, (compiler.misc.inferred.do.not.conform.to.params: T6638712e.Foo<? super java.lang.Object,? extends java.lang.Boolean>, T6638712e.Foo<java.lang.Boolean,java.lang.Boolean>)
15a274b13051 6638712: Inference with wildcard types causes selection of inapplicable method
mcimadamore
parents:
diff changeset
     2
1 error