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

Tue, 01 Sep 2009 14:53:39 +0100

author
mcimadamore
date
Tue, 01 Sep 2009 14:53:39 +0100
changeset 396
dda7e13f09fb
parent 384
ed31953ca025
child 689
77cc34d5e548
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

     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>
     2 1 error

mercurial