// Library for issue #511: https://github.com/typetools/checker-framework/issues/511 | |
public abstract class GwiParent { | |
abstract void syntaxError(Recognizer<?> recognizer); | |
} | |
abstract class ATNSimulator {} | |
class Recognizer<ATNInterpreter extends ATNSimulator> {} |