test/tools/javac/capture/Capture2.java

Print this page

        

@@ -25,11 +25,11 @@
  * @test
  * @bug 5029773
  * @summary soundness problem with failure to subsitute wildcard as type formal argument
  * @author gafter
  *
- * @compile/fail -source 1.5 Capture2.java
+ * @compile/fail Capture2.java
  */
 
 package capture2;
 
 class R<T extends R<T>> {