Rust: Support blanket implementations #20133
Conversation
| ) | ||
| } | ||
|
|
||
| private predicate noFirst2() { not exists(this.resolveBound(0)) and exists(this.resolveBound(1)) } |
Check warning
Code scanning / CodeQL
Dead code Warning
| } | ||
|
|
||
| private predicate blanketImplementationWithoutBound(Impl impl) { | ||
| not exists(impl.getAttributeMacroExpansion()) and | ||
| exists(TypeParam gp | | ||
| gp = impl.getGenericParamList().getAGenericParam() and |
Check warning
Code scanning / CodeQL
Selecting minimum element using `rank[1]` Warning
| gp = impl.getGenericParamList().getAGenericParam() and | ||
| gp = impl.(ImplItemNode).resolveSelfTy() and | ||
| not exists(gp.(TypeParamItemNode).getABoundPath()) | ||
| ) |
Check warning
Code scanning / CodeQL
Dead code Warning
| not blanketImplementationTraitBound(impl, _) and | ||
| not blanketImplementationWithoutBound(impl) and | ||
| resolved = resolvePath(tp.getBoundPath(0)) | ||
| ) |
Check warning
Code scanning / CodeQL
Dead code Warning
| } | ||
|
|
||
| predicate getBlanketImpl(MethodCall mc, Type t, Impl impl, Trait trait, Function f) { | ||
| SatisfiesConstraint<MethodCall, SatisfiesConstraintInput>::satisfiesConstraintType(mc, |
Check warning
Code scanning / CodeQL
Dead code Warning
| methodCallMatchesBlanketImpl(mc, t, impl, trait, f) | ||
| } | ||
|
|
||
| pragma[nomagic] |
Check warning
Code scanning / CodeQL
Predicates starting with "get" or "as" should return a value Warning
No description provided.