Rust: Improve type inference for closures#21206
Conversation
![github-advanced-security[bot]](https://avatars.githubusercontent.com/in/57789?s=60&v=4){kind=small}
| ) | ||
| } | ||
|
|
||
| private Method testresolveCallTarget( |
Check warning
Code scanning / CodeQL
Dead code Warning
| result = this.getInferredNonSelfType(apos, path) | ||
| } | ||
|
|
||
| private Type testgetInferredType(string derefChainBorrow, AccessPosition apos, TypePath path) { |
Check warning
Code scanning / CodeQL
Dead code Warning
| isReturn = false | ||
| } | ||
|
|
||
| private Type testinferMethodCallTypePreCheck(AstNode n, boolean isReturn, TypePath path) { |
Check warning
Code scanning / CodeQL
Dead code Warning
| } | ||
|
|
||
| pragma[nomagic] | ||
| private Type inferNonMethodCallType1(AstNode n, boolean isReturn, TypePath path) { |
Check warning
Code scanning / CodeQL
Dead code Warning
| filepath.matches("%/sqlx.rs") and | ||
| startline = [56 .. 60] | ||
| filepath.matches("%/closure.rs") and | ||
| startline = [10] |
Check warning
Code scanning / CodeQL
Singleton set literal Warning
| ) { | ||
| // not exists(getTypeArgument(a, target, tp, _)) and | ||
| exists( | ||
| Type constraint, TypePath pathToTypeParamInSub, TypePath pathToTp, TypePath pathToTp2, |
Check warning
Code scanning / CodeQL
Omittable 'exists' variable Warning
| // not exists(getTypeArgument(a, target, tp, _)) and | ||
| exists( | ||
| Type constraint, TypePath pathToTypeParamInSub, TypePath pathToTp, TypePath pathToTp2, | ||
| TypePath suffix, TypeParameter tp2, TypePath path3, TypePath path4, TypePath prefix |
Check warning
Code scanning / CodeQL
Omittable 'exists' variable Warning
| ) { | ||
| // not exists(getTypeArgument(a, target, tp, _)) and | ||
| exists( | ||
| Type constraint, TypePath pathToTypeParamInSub, TypePath pathToT, TypeParameter tp2, |
Check warning
Code scanning / CodeQL
Omittable 'exists' variable Warning
hvitved
force-pushed
the
rust/type-inference-closure-param-context-typed
branch
from
b5bd829 to
29951e8
Compare
1 participant
No description provided.