test/langtools/tools/javac/generics/odersky/BadTest4.java

*** 2,12 ****
   * @test /nodynamiccopyright/
   * @bug 4736963
   * @summary Negative regression test from odersky
   * @author odersky
   *
!  * @compile/fail/ref=BadTest4.out -XDrawDiagnostics -source 7 BadTest4.java
   * @compile BadTest4.java
   */
  
  class BadTest4 {
  
--- 2,12 ----
   * @test /nodynamiccopyright/
   * @bug 4736963
   * @summary Negative regression test from odersky
   * @author odersky
   *
!  * @compile/fail/ref=BadTest4.out -XDrawDiagnostics -source 7 -Xlint:-options BadTest4.java
   * @compile BadTest4.java
   */
  
  class BadTest4 {