1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
/*
* @test /nodynamiccopyright/
* @bug 8148213
* @summary Regression: nested unchecked call does not trigger erasure of return type
*
* @compile/fail/ref=T8148213.out -Werror -Xlint:unchecked -XDrawDiagnostics T8148213.java
*/
abstract class T8148213 {
interface R<E> { }
interface Q<T> { }
interface T {
<E> Q<E> n(R<E> r);
}
abstract <T> T isA(Class<T> t);
abstract <T> S<T> w(T t);
interface S<T> {
S<T> t(T value);
}
void f(T t, Q<String> q) {
w(t.n(isA(R.class))).t(q);
}
}
|
