test/tools/javac/capture/Capture2.java

changeset 289
84061bd68019
parent 1
9a66ca7c79fa
child 554
9d9f26857129
equal deleted inserted replaced
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>> {

mercurial