Skip to content

Rust: Rework type inference for method calls #20282

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Draft
wants to merge 6 commits into
base: main
Choose a base branch
from
Draft

Rust: Rework type inference for method calls #20282

wants to merge 6 commits into from
+4,609 −3,038

Conversation

hvitved
Copy link
Contributor

@hvitved hvitved commented Aug 25, 2025

No description provided.

@github-actions github-actions bot added the Rust Pull requests that update Rust code label Aug 25, 2025
github-advanced-security[bot]
github-advanced-security bot found potential problems Aug 25, 2025
View reviewed changes
Copy link

@github-advanced-security github-advanced-security bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

CodeQL found more than 20 potential problems in the proposed changes. Check the Files changed tab for more details.

@hvitved hvitved force-pushed the rust/type-inference-method-call-resolution-rework branch 2 times, most recently from e4cfb86 to 4a8c37c Compare August 26, 2025 18:30
github-advanced-security[bot]
github-advanced-security bot found potential problems Aug 26, 2025
View reviewed changes
rust/ql/lib/codeql/rust/internal/TypeInference.qll Outdated
class State = string;

// private newtype TAccess =
// TMethodCallAccess(MethodCallDerefChainRef mcd) or

Check warning

Code scanning / CodeQL

Dead code Warning

This code is never used, and it's not publicly exported.
rust/ql/lib/codeql/rust/internal/TypeInference.qll Outdated
// // t0 = getTypeQualifier(this, path0) and
// // apos.getArgumentPosition(false).isSelf() and
// // exists(state)
// // else (

Check warning

Code scanning / CodeQL

Dead code Warning

This code is never used, and it's not publicly exported.
rust/ql/lib/codeql/rust/internal/TypeInference.qll Outdated
// )
// }
// bindingset[state]
// pragma[nomagic]

Check warning

Code scanning / CodeQL

Dead code Warning

This code is never used, and it's not publicly exported.
rust/ql/lib/codeql/rust/internal/TypeInference.qll Outdated
// .getParameterType(TArgumentDeclarationPosition(apos.getArgumentPosition()),
// TypePath::nil())
// |
// if selfParamType = TRefType()

Check warning

Code scanning / CodeQL

Dead code Warning

This code is never used, and it's not publicly exported.
rust/ql/lib/codeql/rust/internal/TypeInference.qll Outdated

pragma[nomagic]
private Type getACandidateReceiverTypeAtNoMatch(TypePath path, string derefChain) {
this.receiverImplicitlyBorrowed() and

Check warning

Code scanning / CodeQL

Dead code Warning

This code is never used, and it's not publicly exported.
rust/ql/lib/codeql/rust/internal/TypeInference.qll
private Type getACandidateReceiverTypeAtRef(TypePath path, string derefChain) {
// exists(TypePath path0, Type t0, string derefChain |
// t0 = this.getACandidateReceiverTypeAt(path0, derefChain)
// |

Check warning

Code scanning / CodeQL

Dead code Warning

This code is never used, and it's not publicly exported.
rust/ql/lib/codeql/rust/internal/TypeInference.qll

pragma[nomagic]
private Type testgetACandidateReceiverTypeAtRefNoMatch2(
TypePath path, string derefChain, Type rootType, string name, int arity

Check warning

Code scanning / CodeQL

Dead code Warning

This code is never used, and it's not publicly exported.
rust/ql/lib/codeql/rust/internal/TypeInference.qll

pragma[nomagic]
private Type testgetACandidateReceiverTypeRefsAt(TypePath path, string derefChain) {
result = this.getACandidateReceiverTypeRefsAt(path, derefChain) and

Check warning

Code scanning / CodeQL

Singleton set literal Warning

Singleton set literal can be replaced by its member.
shared/typeinference/codeql/typeinference/internal/TypeInference.qll
@@ -1087,10 +1094,11 @@
* For example, if this access is the method call `M(42)`, then the inferred
* type at argument position `0` is `int`.
*/
Type getInferredType(AccessPosition apos, TypePath path);
bindingset[state]

Check warning

Code scanning / CodeQL

Missing QLDoc for parameter Warning

The QLDoc has no documentation for state, but the QLDoc mentions int
@hvitved hvitved force-pushed the rust/type-inference-method-call-resolution-rework branch from 4a8c37c to e75d79e Compare August 27, 2025 15:34
github-advanced-security[bot]
github-advanced-security bot found potential problems Aug 27, 2025
View reviewed changes
rust/ql/lib/codeql/rust/internal/TypeInference.qll
if
apos.isReturn() and
(this instanceof DerefExpr or this instanceof IndexExpr)
then (

Check warning

Code scanning / CodeQL

Dead code Warning

This code is never used, and it's not publicly exported.
rust/ql/lib/codeql/rust/internal/TypeInference.qll
}

pragma[nomagic]
private Type testgetACandidateReceiverTypeAtNoMatch(TypePath path, string derefChain) {

Check warning

Code scanning / CodeQL

Dead code Warning

This code is never used, and it's not publicly exported.
rust/ql/lib/codeql/rust/internal/TypeInference.qll
// not exists(resolveNonImplMethodCallTarget(rootType, name, arity))
)
}

Check warning

Code scanning / CodeQL

Dead code Warning

This code is never used, and it's not publicly exported.
rust/ql/lib/codeql/rust/internal/TypeInference.qll
)
)
}

bindingset[trait, name]
pragma[inline_late]
private Function getImplTraitMethod(ImplTraitReturnType trait, string name) {
result = getMethodSuccessor(trait.getImplTraitTypeRepr(), name)
private Function getImplTraitMethod(ImplTraitReturnType trait, string name, int arity) {

Check warning

Code scanning / CodeQL

Dead code Warning

This code is never used, and it's not publicly exported.
rust/ql/lib/codeql/rust/internal/TypeInference.qll
}

bindingset[traitObject, name]
pragma[inline_late]
private Function getDynTraitMethod(DynTraitType traitObject, string name) {
result = getMethodSuccessor(traitObject.getTrait(), name)
private Function getDynTraitMethod(DynTraitType traitObject, string name, int arity) {

Check warning

Code scanning / CodeQL

Dead code Warning

This code is never used, and it's not publicly exported.
rust/ql/lib/codeql/rust/internal/TypeInference.qll
or
bindingset[t, name, arity]
pragma[inline_late]
private Function resolveNonImplMethodCallTarget(Type t, string name, int arity) {

Check warning

Code scanning / CodeQL

Dead code Warning

This code is never used, and it's not publicly exported.
shared/typeinference/codeql/typeinference/internal/TypeInference.qll

/**
* Holds if `constraint` might occur as the third argument of
* `potentialInstantiationOf`. Defaults to simply projecting the third
* argument of `potentialInstantiationOf`.
*/
default predicate relevantTypeMention(TypeMention tm) { potentialInstantiationOf(_, _, tm) }
default predicate relevantTypeMention(Constraint tm) { potentialInstantiationOf(_, _, tm) }

Check warning

Code scanning / CodeQL

Missing QLDoc for parameter Warning

The QLDoc has no documentation for tm, but the QLDoc mentions constraint
@hvitved hvitved force-pushed the rust/type-inference-method-call-resolution-rework branch 5 times, most recently from c6385ca to 1f79831 Compare August 29, 2025 12:40
@hvitved hvitved force-pushed the rust/type-inference-method-call-resolution-rework branch 2 times, most recently from 9376673 to 063aefe Compare August 29, 2025 15:34
@hvitved hvitved force-pushed the rust/type-inference-method-call-resolution-rework branch from 61866bf to 2d1ed65 Compare September 1, 2025 09:45
github-advanced-security[bot]
github-advanced-security bot found potential problems Sep 1, 2025
View reviewed changes
rust/ql/lib/codeql/rust/internal/TypeInference.qll
bindingset[s]
private predicate isBorrowed(string s) { exists(s.splitAt(";", 1)) }

private predicate sdf() { isBorrowed(";ref") }

Check warning

Code scanning / CodeQL

Dead code Warning

This code is never used, and it's not publicly exported.
rust/ql/lib/codeql/rust/internal/TypeInference.qll
tAdj = t
}
pragma[nomagic]
private Type testinferMethodCallExprType(

Check warning

Code scanning / CodeQL

Dead code Warning

This code is never used, and it's not publicly exported.
rust/ql/lib/codeql/rust/internal/TypeInference.qll
}

private module CallExprBaseMatching = Matching<CallExprBaseMatchingInput>;
private Type testinferMethodCallExprType0(

Check warning

Code scanning / CodeQL

Dead code Warning

This code is never used, and it's not publicly exported.
rust/ql/lib/codeql/rust/internal/TypeInference.qll
result = getFieldExprLookupType(fe, name) and
pos = name.toInt()
)
private Type testinferMethodCallExprType(AstNode n, TypePath path) {

Check warning

Code scanning / CodeQL

Dead code Warning

This code is never used, and it's not publicly exported.
rust/ql/lib/codeql/rust/internal/TypeInference.qll
result = TTupleTypeParameter(arity, i)
private Type inferMethodCallExprType(AstNode n, TypePath path) {
exists(
MethodCallExprMatchingInput::Access a, MethodCallExprMatchingInput::AccessPosition apos,

Check warning

Code scanning / CodeQL

Omittable 'exists' variable Warning

This exists variable can be omitted by using a don't-care expression
in this argument
Loading
.
rust/ql/lib/codeql/rust/internal/TypeInference.qll
or
exists(int pos, TypePath path, Type type |
functionResolutionDependsOnArgument(impl, name, result, pos + 1, pragma[only_bind_into](path),
type) and

Check warning

Code scanning / CodeQL

Dead code Warning

This code is never used, and it's not publicly exported.
rust/ql/lib/codeql/rust/internal/TypeInference.qll
or
exists(int pos0 | constraint = cand.getParam(pos0).getTypeRepr() |
if cand.getParamList().hasSelfParam() then pos = pos0 + 1 else pos = pos0
)

Check warning

Code scanning / CodeQL

Dead code Warning

This code is never used, and it's not publicly exported.
@hvitved hvitved force-pushed the rust/type-inference-method-call-resolution-rework branch from 2d1ed65 to 3d19a06 Compare September 1, 2025 10:30
github-advanced-security[bot]
github-advanced-security bot found potential problems Sep 1, 2025
View reviewed changes
rust/ql/lib/codeql/rust/internal/TypeInference.qll
// getSelfParamTypeMention(getTypeParameterMethod(t, name, arity).getParamList().getSelfParam())
}

private Function testgetMethodFromImpl(

Check warning

Code scanning / CodeQL

Dead code Warning

This code is never used, and it's not publicly exported.
@hvitved hvitved force-pushed the rust/type-inference-method-call-resolution-rework branch from 3d19a06 to 153c10b Compare September 1, 2025 17:56
github-advanced-security[bot]
github-advanced-security bot found potential problems Sep 1, 2025
View reviewed changes
rust/ql/lib/codeql/rust/internal/TypeInference.qll
result = this.getAnAmbigousCandidate(impl, pos, resolved) and
this = Debug::getRelevantLocatable()
}

Check warning

Code scanning / CodeQL

Dead code Warning

This code is never used, and it's not publicly exported.
@hvitved hvitved force-pushed the rust/type-inference-method-call-resolution-rework branch from 153c10b to e161d4c Compare September 1, 2025 18:35
github-advanced-security[bot]
github-advanced-security bot found potential problems Sep 1, 2025
View reviewed changes
rust/ql/lib/codeql/rust/internal/TypeInference.qll
MethodCallDerefChainRef mc, TypeAbstraction abs, SelfParamType constraint
) {
// mc.getMethodCall() = Debug::getRelevantLocatable() and
exists(Type rootType, string name, int arity, MethodCall mc0 |

Check warning

Code scanning / CodeQL

Omittable 'exists' variable Warning

This exists variable can be omitted by using a don't-care expression
in this argument
Loading
.
rust/ql/lib/codeql/rust/internal/TypeInference.qll
op = Debug::getRelevantLocatable()
}

private Function testresolveOperation(Op op, ImplOrTraitItemNode impl, string name) {

Check warning

Code scanning / CodeQL

Dead code Warning

This code is never used, and it's not publicly exported.
rust/ql/lib/codeql/rust/internal/TypeInference.qll

/** Gets a method from an `impl` block that matches the method call `mc`. */
pragma[nomagic]
private Function resolveOperation(Op op) {

Check warning

Code scanning / CodeQL

Missing QLDoc for parameter Warning

The QLDoc has no documentation for op, but the QLDoc mentions mc
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

Copilot code review Copilot Awaiting requested review from Copilot Copilot will automatically review once the pull request is marked ready for review

At least 1 approving review is required to merge this pull request.

Assignees
No one assigned
Labels
Rust Pull requests that update Rust code
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@hvitved