| // Test case for issue #511: https://github.com/typetools/checker-framework/issues/511 | |
| // If GwiParent is compiled together with this file, no error occurs. | |
| // If GwiParent is read from bytecode, the error occurs. | |
| public class GenericWildcardInheritance extends GwiParent { | |
| @Override | |
| public void syntaxError(Recognizer<?> recognizer) {} | |
| } |