langtools/test/tools/javac/generics/inference/6638712/T6638712e.out
author mcimadamore
Tue, 01 Sep 2009 14:53:39 +0100
changeset 3778 38a70273507b
parent 3766 7e2df99e9223
child 6710 b14e6fe7b290
permissions -rw-r--r--
6650759: Inference of formal type parameter (unused in formal parameters) is not performed Summary: propagate inference constraints from 15.12.2.7 to 15.12.2.8 Reviewed-by: jjg
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
3778
38a70273507b 6650759: Inference of formal type parameter (unused in formal parameters) is not performed
mcimadamore
parents: 3766
diff changeset
     1
T6638712e.java:17:27: compiler.err.prob.found.req: (compiler.misc.incompatible.types.1: (compiler.misc.no.conforming.instance.exists: X, T6638712e.Foo<X,java.lang.String>, T6638712e.Foo<java.lang.Object,java.lang.String>)), <X>T6638712e.Foo<X,java.lang.String>, T6638712e.Foo<java.lang.Object,java.lang.String>
3140
15a274b13051 6638712: Inference with wildcard types causes selection of inapplicable method
mcimadamore
parents:
diff changeset
     2
1 error