Conversation
![github-advanced-security[bot]](https://avatars.githubusercontent.com/in/57789?s=60&v=4){kind=small}
hvitved
force-pushed
the
rust/type-inference-unify
branch
from
46c92f3 to
ed0c757
Compare
| */ | ||
| pragma[nomagic] | ||
| predicate hasNoCompatibleTargetMutBorrow(DerefChain derefChain) { | ||
| predicate hasNoCompatibleTargetMutBorrow(FunctionPosition selfPos, DerefChain derefChain) { |
Check warning
Code scanning / CodeQL
Missing QLDoc for parameter Warning
| */ | ||
| pragma[nomagic] | ||
| predicate hasNoCompatibleNonBlanketTargetMutBorrow(DerefChain derefChain) { | ||
| predicate hasNoCompatibleNonBlanketTargetMutBorrow( |
Check warning
Code scanning / CodeQL
Missing QLDoc for parameter Warning
| pragma[nomagic] | ||
| Type getACandidateReceiverTypeAt(DerefChain derefChain, BorrowKind borrow, TypePath path) { | ||
| result = this.getACandidateReceiverTypeAtNoBorrow(derefChain, path) and | ||
| Type getACandidateReceiverTypeAt( |
Check warning
Code scanning / CodeQL
Missing QLDoc for parameter Warning
| exists( | ||
| MethodCall mc, Method m, string name, int arity, TypePath strippedTypePath, | ||
| Type strippedType | ||
| MethodCall mc, FunctionPosition pos, Function f, string name, int arity, |
Check warning
Code scanning / CodeQL
Omittable 'exists' variable Warning
| exists( | ||
| MethodCall mc, Method m, string name, int arity, TypePath strippedTypePath, | ||
| Type strippedType | ||
| MethodCall mc, FunctionPosition pos, Function f, string name, int arity, |
Check warning
Code scanning / CodeQL
Omittable 'exists' variable Warning
| predicate hasTargetCand(ImplOrTraitItemNode i, Function f) { | ||
| f = this.resolveCallTargetCand(i) | ||
| f = | ||
| any(MethodCallCand mcc | mcc = MkMethodCallCand(this, _, _, _, _)) |
Check warning
Code scanning / CodeQL
Expression can be replaced with a cast Warning
1 participant
No description provided.