wip4

Author: hvitved

rust/ql/lib/codeql/rust/internal/TypeInference.qll

@@ -1162,8 +1162,7 @@ private module MethodCallResolution {
       mc.isMethodCall(name, arity) and
       methodCandidate(type, name, arity, i, self, selfPath, selfType)
     |
-      // not CertainTypeInference::inferCertainType(mc.getReceiver(), TypePath::nil()) != type
-      not exists(i.(ImplItemNode).resolveTraitTy())
+      not i.(Impl).hasTrait()
       or
       methodCallVisibleImplTraitCandidate(mc, i)
       or