Rust: Also apply adjustedAccessType in RelevantAccess
#19729
Conversation
e215bef to
4739c88
Compare
4739c88 to
18392a0
Compare
There was a problem hiding this comment.
Pull Request Overview
This PR extends the RelevantAccess machinery to account for an explicit target declaration when computing adjusted access types, replacing direct calls to getInferredType. It also updates the Rust type‐inference tests and main.rs comments to reflect now‐included unwrap calls and associated‐type bindings.
- Broadened
relevantAccessConstraintandMkRelevantAccessto carry aDeclaration targetso thatadjustedAccessTypecan be applied - Switched from
a.getInferredTypetoadjustedAccessTypeingetTypeAtandhasTypeConstraint - Updated test expectations and main.rs to register the previously missing
unwrapmethod and associated‐type occurrences
Reviewed Changes
Copilot reviewed 3 out of 3 changed files in this pull request and generated 1 comment.
| File | Description |
|---|---|
| shared/typeinference/codeql/typeinference/internal/TypeInference.qll | Added target parameter and replaced getInferredType with adjustedAccessType |
| rust/ql/test/library-tests/type-inference/type-inference.expected | Added expected entries for the unwrap call and associated parameter inference |
| rust/ql/test/library-tests/type-inference/main.rs | Updated comment to expect method=unwrap |
Comments suppressed due to low confidence (1)
shared/typeinference/codeql/typeinference/internal/TypeInference.qll:1024
- The
toStringmethod forRelevantAccessdoesn’t include the newtargetfield, which could be valuable for debugging; consider appendingtarget.toString()to the output.
string toString() {
| @@ -1076,7 +1078,7 @@ module Make1<LocationSig Location, InputSig1<Location> Input1> { | |||
| TypeAbstraction abs, TypeMention sub, TypePath path, Type t | |||
| ) { | |||
| exists(TypeMention constraintMention | | |||
| at = MkRelevantAccess(a, apos, prefix) and | |||
| at = MkRelevantAccess(a, _, apos, prefix) and | |||
There was a problem hiding this comment.
[nitpick] Using an underscore for the target parameter in MkRelevantAccess can obscure which argument is being ignored; consider naming this dummy parameter explicitly (e.g., dummyTarget) to improve readability.
| at = MkRelevantAccess(a, _, apos, prefix) and | |
| at = MkRelevantAccess(a, dummyTarget, apos, prefix) and |
Copilot uses AI. Check for mistakes.
No description provided.