langtools/test/tools/javac/generics/odersky/BadTest4.java
changeset 15717 ab55670d2e62
parent 5520 86e4b9a9da40
child 22448 a85fbad9d687
equal deleted inserted replaced
15716:d1f59adb0d83 15717:ab55670d2e62
    21  * questions.
    21  * questions.
    22  */
    22  */
    23 
    23 
    24 /*
    24 /*
    25  * @test
    25  * @test
    26  * @ bug
    26  * @bug 8007464
    27  * @summary Negative regression test from odersky
    27  * @summary Negative regression test from odersky
    28  * @author odersky
    28  * @author odersky
    29  *
    29  *
    30  * @compile/fail  BadTest4.java
    30  * @compile/fail -source 7 BadTest4.java
       
    31  * @compile BadTest4.java
    31  */
    32  */
    32 
    33 
    33 class BadTest4 {
    34 class BadTest4 {
    34 
    35 
    35     interface I {}
    36     interface I {}