Fix "missing override" FPs

This brings the analysis back to the level it was at before the addition
of `instanceof`.
This commit is contained in:
Taus
2021-10-13 14:07:24 +00:00
committed by GitHub
parent dd4f6edd62
commit bd01d92500

View File

@@ -665,7 +665,7 @@ class Class extends TClass, TypeDeclaration, ModuleDeclaration {
/**
* Gets a super-type referenced in the `extends` part of the class declaration.
*/
TypeExpr getASuperType() { toGenerated(result) in [cls.getExtends(_), cls.getInstanceof(_)] }
TypeExpr getASuperType() { toGenerated(result) = cls.getExtends(_) }
/** Gets the type that this class is defined to be an alias of. */
TypeExpr getAliasType() {