288:d402db1005ad | 289:84061bd68019 |
---|---|
25 * @test | 25 * @test |
26 * @bug 5029773 | 26 * @bug 5029773 |
27 * @summary soundness problem with failure to subsitute wildcard as type formal argument | 27 * @summary soundness problem with failure to subsitute wildcard as type formal argument |
28 * @author gafter | 28 * @author gafter |
29 * | 29 * |
30 * @compile/fail -source 1.5 Capture2.java | 30 * @compile/fail Capture2.java |
31 */ | 31 */ |
32 | 32 |
33 package capture2; | 33 package capture2; |
34 | 34 |
35 class R<T extends R<T>> { | 35 class R<T extends R<T>> { |