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