test/tools/javac/generics/7034511/T7034511a.out

Tue, 12 Apr 2011 20:56:16 -0700

author
mcimadamore
date
Tue, 12 Apr 2011 20:56:16 -0700
changeset 970
f00986f55961
child 1352
d4b3cb1ece84
permissions
-rw-r--r--

7034511: Loophole in typesafety
Summary: Type-variable substutution takes upper bound of replaced captured type-variable
Reviewed-by: dlsmith

     1 T7034511a.java:18:14: compiler.err.cant.apply.symbol.1: kindname.method, foo, compiler.misc.type.captureof: 1, ?[], java.lang.String[], kindname.interface, T7034511a.A<T>, (compiler.misc.no.conforming.assignment.exists: java.lang.String[], compiler.misc.type.captureof: 1, ?[])
     2 1 error

mercurial