| // Test case for issue 2264 |
| // https://github.com/typetools/checker-framework/issues/2264 |
| |
| import org.checkerframework.checker.i18n.qual.LocalizableKey; |
| import org.checkerframework.checker.i18n.qual.UnknownLocalizableKey; |
| |
| public class Issue2264 extends SuperClass { |
| // :: warning: (inconsistent.constructor.type) |
| @LocalizableKey Issue2264() { |
| // :: error: (super.invocation) |
| super(9); |
| } |
| } |
| |
| class ImplicitSuperCall { |
| // :: error: (super.invocation) :: warning: (inconsistent.constructor.type) |
| @LocalizableKey ImplicitSuperCall() {} |
| } |
| |
| class SuperClass { |
| @UnknownLocalizableKey SuperClass(int x) {} |
| } |
| |
| @LocalizableKey class TestClass { |
| // :: error: (annotations.on.use) |
| @UnknownLocalizableKey TestClass() {} |
| } |