langtools/test/tools/javac/generics/7034511/T7034511a.out
author mcimadamore
Wed, 17 Jul 2013 14:14:49 +0100
changeset 18914 6edcda38fbdd
parent 14062 b7439971a094
permissions -rw-r--r--
7041019: Bogus type-variable substitution with array types with dependencies on accessibility check Summary: call to upperBound() when performing type-variable substitution on element type leads to unsoundness Reviewed-by: jjg
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
18914
6edcda38fbdd 7041019: Bogus type-variable substitution with array types with dependencies on accessibility check
mcimadamore
parents: 14062
diff changeset
     1
T7034511a.java:18:14: compiler.err.cant.apply.symbol: kindname.method, foo, compiler.misc.type.captureof: 1, ?[], java.lang.String[], kindname.interface, T7034511a.A<T>, (compiler.misc.no.conforming.assignment.exists: (compiler.misc.inconvertible.types: java.lang.String[], compiler.misc.type.captureof: 1, ?[]))
9301
da48f63f0b22 7034511: Loophole in typesafety
mcimadamore
parents:
diff changeset
     2
1 error