Resolve a newly-introduced ambiguity

Also fix a simple redundancy noticed while debugging
This commit is contained in:
Chris Smowton
2023-02-07 18:38:17 +00:00
parent f48d87ba55
commit 82a2f4349a
2 changed files with 2 additions and 2 deletions

View File

@@ -515,7 +515,7 @@ private RefType getAReferencedType(RefType t) {
/** A top level type whose file should be stubbed */
class GeneratedTopLevel extends TopLevelType instanceof GeneratedType {
GeneratedTopLevel() { this = this.getSourceDeclaration() }
GeneratedTopLevel() { this = this.(ClassOrInterface).getSourceDeclaration() }
private TopLevelType getAnImportedType() {
result = getAReferencedType(this).getSourceDeclaration() and