| changeset 2985 | f43e1241e7fb |
| parent 10 | 06bc494ca11e |
| child 5520 | 86e4b9a9da40 |
| 2984:e15ff3a34054 | 2985:f43e1241e7fb |
|---|---|
25 * @test |
25 * @test |
26 * @ bug |
26 * @ bug |
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 -source 1.5 BadTest3.java |
30 * @compile/fail BadTest3.java |
31 */ |
31 */ |
32 |
32 |
33 class BadTest3 { |
33 class BadTest3 { |
34 |
34 |
35 interface I {} |
35 interface I {} |