wip

Author: hvitved

shared/typeinference/codeql/typeinference/internal/TypeInference.qll

@@ -3189,6 +3189,7 @@ module Make1<LocationSig Location, InputSig1<Location> Input1> {
             n = decl.getPattern() and
             not exists(decl.getInitializer()) and
             not exists(decl.getType()) and
+            not decl = any(Parameter p).getPattern() and
             path.isEmpty()
           )
         ) and