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

Print this page 

        
*** 25,35 ****
   * @test
   * @ bug
   * @summary Negative regression test from odersky
   * @author odersky
   *
!  * @compile/fail -source 1.5 BadTest3.java
   */
  
  class BadTest3 {
  
      interface I {}
--- 25,35 ----
   * @test
   * @ bug
   * @summary Negative regression test from odersky
   * @author odersky
   *
!  * @compile/fail  BadTest3.java
   */
  
  class BadTest3 {
  
      interface I {}