Code quality improvements + add dedicated DeadRefTypes test

This commit is contained in:
Tamas Vajk
2022-04-08 09:48:26 +02:00
committed by Ian Lynagh
parent cdc7ed0e14
commit 47799ae040
7 changed files with 25 additions and 5 deletions

View File

@@ -52,7 +52,7 @@ predicate dead(RefType dead) {
// Insist all source ancestors are dead as well.
forall(RefType t | t.fromSource() and t = getASuperTypePlus(dead) | dead(t)) and
// Exclude compiler generated classes (e.g. declaring type of adapter functions in Kotlin)
not compiler_generated(dead, _)
not dead.isCompilerGenerated()
}
from RefType t, string kind