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

*** 25,35 ****
   * @test
   * @ bug
   * @summary Regression test from odersky
   * @author odersky
   *
!  * @compile -source 1.5 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.
--- 25,35 ----
   * @test
   * @ bug
   * @summary Regression test from odersky
   * @author odersky
   *
!  * @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.