Update python/ql/src/Functions/SignatureOverriddenMethod.ql

Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
This commit is contained in:
Joe Farebrother
2025-08-19 15:18:30 +01:00
parent 0a83c11f42
commit 6587ad435e

View File

@@ -202,7 +202,7 @@ Call chooseASignatureMismatchWitness(Function base, Function sub) {
c = getASignatureMismatchWitness(base, sub) and
c.getLocation().getFile() = base.getLocation().getFile()
) and
result = chooseASignatureMismatchWitnessInFile(base, sub, base.getLocation().getFile())
result = chooseASignatureMismatchWitnessInFile(base, sub, sub.getLocation().getFile())
or
not exists(Call c |
c = getASignatureMismatchWitness(base, sub) and