// 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) {}
}