Remove dead code

This commit is contained in:
Chris Smowton
2024-03-22 15:07:14 +00:00
parent 29e93edf90
commit d5443b3f10

View File

@@ -782,10 +782,6 @@ private class PpSwitchCase extends PpAst, SwitchCase {
}
private class PpPatternCase extends PpAst, PatternCase {
private TypeAccess getPatternTypeAccess(int n) {
result = this.getPatternAtIndex(n).asBindingOrUnnamedPattern().getTypeAccess()
}
private predicate isAnonymousPattern(int n) {
this.getPatternAtIndex(n).asBindingOrUnnamedPattern().isAnonymous()
}