Cross Reference: T7034511a.java
xref
: /
openjdk7
/
langtools
/
test
/
tools
/
javac
/
generics
/
7034511
/
T7034511a.java
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
969
N/A
/*
969
N/A
* @test /nodynamiccopyright/
995
N/A
* @ignore backing out 7034511, see 7040883
995
N/A
* @bug 7034511 7040883
969
N/A
* @summary Loophole in typesafety
969
N/A
* @
compile
/
fail
/
ref
=T7034511a.out -XDrawDiagnostics
T7034511a.java
969
N/A
*/
969
N/A
969
N/A
class
T7034511a
{
969
N/A
969
N/A
interface
A<T> {
969
N/A
void
foo
(T x);
969
N/A
}
969
N/A
969
N/A
interface
B<T>
extends
A<T[]> { }
969
N/A
969
N/A
static
abstract
class
C
implements
B<
Integer
> {
969
N/A
<T
extends
B<?>>
void
test
(T x,
String
[]
ss
) {
969
N/A
x.
foo
(
ss
);
969
N/A
}
969
N/A
}
969
N/A
}