wip3

Author: hvitved

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

@@ -811,29 +811,14 @@ private module Input3 implements InputSig3 {
     )
   }
 
-  pragma[nomagic]
-  private predicate foo(
-    AssocFunctionResolution::AssocFunctionCall call, AstNode receiver, TypeParameter tp
-  ) {
-    call.(AssocFunctionResolution::AssocFunctionCall).hasReceiver() and
-    receiver = call.getNodeAt(any(FunctionPosition pos | pos.asPosition() = 0)) and
-    tp = inferType(receiver).getATypeParameter()
-  }
-
   Type inferCallArgumentTypeContextual(AstNode n, TypePath path) {
     exists(Call call, FunctionPosition pos, TypePath path0 |
       result = inferCallArgumentTypeContextualDefault(call, pos.asPosition(), n, _, _, path0) and
       not call.(AssocFunctionResolution::AssocFunctionCall).hasReceiverAtPos(pos)
       or
       pos.asPosition() = 0 and
       result = inferFunctionCallSelfArgumentTypeContextual(call, n, DerefChain::nil(), path0) and
-      // for method calls, the root type will have to be known already in order to resolve the call,
-      // so only propagate contextual information that is compatible with the root type
-      (
-        foo(call, n, path.getHead())
-        or
-        not call.(AssocFunctionResolution::AssocFunctionCall).hasReceiver()
-      )
+      not path0.isEmpty()
     |
       if call.(AssocFunctionResolution::OperationAssocFunctionCall).implicitBorrowAt(pos, _)
       then