author | vromero |
Tue, 24 Apr 2018 08:13:30 -0700 | |
changeset 49872 | 0798eab12791 |
parent 47216 | 71c04702a3d5 |
permissions | -rw-r--r-- |
812
d60171f70ade
6294779: Problem with interface inheritance and covariant return types
mcimadamore
parents:
diff
changeset
|
1 |
/* |
25694
ba47ecb5bfee
8048837: .out files for generics tests in tools/javac dir - part 3
sogoel
parents:
5520
diff
changeset
|
2 |
* @test /nodynamiccopyright/ |
812
d60171f70ade
6294779: Problem with interface inheritance and covariant return types
mcimadamore
parents:
diff
changeset
|
3 |
* @bug 6294779 |
d60171f70ade
6294779: Problem with interface inheritance and covariant return types
mcimadamore
parents:
diff
changeset
|
4 |
* @summary Problem with interface inheritance and covariant return types |
d60171f70ade
6294779: Problem with interface inheritance and covariant return types
mcimadamore
parents:
diff
changeset
|
5 |
* @author Maurizio Cimadamore |
25694
ba47ecb5bfee
8048837: .out files for generics tests in tools/javac dir - part 3
sogoel
parents:
5520
diff
changeset
|
6 |
* @compile/fail/ref=T6294779c.out -XDrawDiagnostics T6294779c.java |
812
d60171f70ade
6294779: Problem with interface inheritance and covariant return types
mcimadamore
parents:
diff
changeset
|
7 |
*/ |
d60171f70ade
6294779: Problem with interface inheritance and covariant return types
mcimadamore
parents:
diff
changeset
|
8 |
|
d60171f70ade
6294779: Problem with interface inheritance and covariant return types
mcimadamore
parents:
diff
changeset
|
9 |
public class T6294779c<X> { |
d60171f70ade
6294779: Problem with interface inheritance and covariant return types
mcimadamore
parents:
diff
changeset
|
10 |
|
d60171f70ade
6294779: Problem with interface inheritance and covariant return types
mcimadamore
parents:
diff
changeset
|
11 |
interface A {} |
d60171f70ade
6294779: Problem with interface inheritance and covariant return types
mcimadamore
parents:
diff
changeset
|
12 |
|
d60171f70ade
6294779: Problem with interface inheritance and covariant return types
mcimadamore
parents:
diff
changeset
|
13 |
interface B {} |
d60171f70ade
6294779: Problem with interface inheritance and covariant return types
mcimadamore
parents:
diff
changeset
|
14 |
|
d60171f70ade
6294779: Problem with interface inheritance and covariant return types
mcimadamore
parents:
diff
changeset
|
15 |
interface C {} |
d60171f70ade
6294779: Problem with interface inheritance and covariant return types
mcimadamore
parents:
diff
changeset
|
16 |
|
d60171f70ade
6294779: Problem with interface inheritance and covariant return types
mcimadamore
parents:
diff
changeset
|
17 |
interface I1 { |
d60171f70ade
6294779: Problem with interface inheritance and covariant return types
mcimadamore
parents:
diff
changeset
|
18 |
T6294779c<? extends A> get(); |
d60171f70ade
6294779: Problem with interface inheritance and covariant return types
mcimadamore
parents:
diff
changeset
|
19 |
} |
d60171f70ade
6294779: Problem with interface inheritance and covariant return types
mcimadamore
parents:
diff
changeset
|
20 |
|
d60171f70ade
6294779: Problem with interface inheritance and covariant return types
mcimadamore
parents:
diff
changeset
|
21 |
interface I2 { |
d60171f70ade
6294779: Problem with interface inheritance and covariant return types
mcimadamore
parents:
diff
changeset
|
22 |
T6294779c<? extends B> get(); |
d60171f70ade
6294779: Problem with interface inheritance and covariant return types
mcimadamore
parents:
diff
changeset
|
23 |
} |
d60171f70ade
6294779: Problem with interface inheritance and covariant return types
mcimadamore
parents:
diff
changeset
|
24 |
|
d60171f70ade
6294779: Problem with interface inheritance and covariant return types
mcimadamore
parents:
diff
changeset
|
25 |
interface I3 { |
d60171f70ade
6294779: Problem with interface inheritance and covariant return types
mcimadamore
parents:
diff
changeset
|
26 |
T6294779c<? extends C> get(); |
d60171f70ade
6294779: Problem with interface inheritance and covariant return types
mcimadamore
parents:
diff
changeset
|
27 |
} |
d60171f70ade
6294779: Problem with interface inheritance and covariant return types
mcimadamore
parents:
diff
changeset
|
28 |
|
d60171f70ade
6294779: Problem with interface inheritance and covariant return types
mcimadamore
parents:
diff
changeset
|
29 |
interface I4 extends I1, I2, I3 {} |
d60171f70ade
6294779: Problem with interface inheritance and covariant return types
mcimadamore
parents:
diff
changeset
|
30 |
} |