test/tools/javac/generics/odersky/BadTest2.java

Print this page

        

@@ -25,11 +25,11 @@
  * @test
  * @ bug
  * @summary Regression test from odersky
  * @author odersky
  *
- * @compile -source 1.5 BadTest2.java
+ * @compile  BadTest2.java
  */
 
 // this used to be a negative regression test, but when we
 // added variance it started passing, undoubtedly due to
 // bug fixes.  The code looks OK.