test/tools/javac/generics/inference/6315770/T6315770.out

Thu, 29 Jan 2009 12:17:57 +0000

author
mcimadamore
date
Thu, 29 Jan 2009 12:17:57 +0000
changeset 210
1aa81917016a
child 221
6ada6122dd4f
permissions
-rw-r--r--

6315770: javac inference allows creation of strange types: Integer & Runnable
Summary: Javac does not apply glb correctly as per JLS3 15.12.2.8
Reviewed-by: jjg

     1 T6315770.java:39:42: compiler.err.undetermined.type.1: <T>T6315770<T>, (- compiler.misc.no.unique.maximal.instance.exists: T, java.lang.String,java.lang.Integer,java.lang.Runnable)
     2 T6315770.java:40:40: compiler.err.prob.found.req: (- compiler.misc.incompatible.types.1: (- compiler.misc.no.conforming.instance.exists: T, T6315770<T>, T6315770<? super java.lang.String>)), <T>T6315770<T>, T6315770<? super java.lang.String>
     3 2 errors

mercurial