Rust: Support non-universal impl blocks
#19372
Conversation
![github-advanced-security[bot]](https://avatars.githubusercontent.com/in/57789?s=60&v=4){kind=small}
| } | ||
|
|
||
| final class SelfTypeBoundTypeAbstraction extends TypeAbstraction, Name { | ||
| Trait trait; |
Check notice
Code scanning / CodeQL
Field only used in CharPred Note
| * Gets an `impl` block with an implementing type that matches the type of | ||
| * `mce`'s receiver. | ||
| */ | ||
| private predicate methodCallMatchingImpl(ReceiverExpr receiver, Function function) { |
Check warning
Code scanning / CodeQL
Missing QLDoc for parameter Warning
| @@ -32,6 +32,18 @@ | |||
| /** A type parameter. */ | |||
| class TypeParameter extends Type; | |||
|
|
|||
| /** Type abstraction. */ | |||
Check warning
Code scanning / CodeQL
Class QLDoc style. Warning
| @@ -212,6 +222,74 @@ | |||
| TypePath cons(TypeParameter tp, TypePath suffix) { result = singleton(tp).append(suffix) } | |||
| } | |||
|
|
|||
| /** Any class that represents a type abstraction. */ | |||
Check warning
Code scanning / CodeQL
Class QLDoc style. Warning
| TypeParameter getATypeParameter(); | ||
| } | ||
|
|
||
| /** Any class that represents a type tree. */ |
Check warning
Code scanning / CodeQL
Class QLDoc style. Warning
| * Holds if `apps` is a potential and relevant instantiation of `term` for | ||
| * the free type variables in `abs`. | ||
| */ | ||
| predicate potentialInstantiationOf(TypeAbstraction abs, App app, TypeMention term); |
Check warning
Code scanning / CodeQL
Missing QLDoc for parameter Warning
| ) | ||
| } | ||
|
|
||
| predicate debugTypeMentionWithoutType(TypeMention ment) { |
Check warning
Code scanning / CodeQL
Dead code Warning
| } | ||
|
|
||
| predicate debugTypeMentionWithoutType(TypeMention ment) { | ||
| not exists(TypePath path, Type t | ment.resolveTypeAt(path) = t) |
Check warning
Code scanning / CodeQL
Omittable 'exists' variable Warning
| /** | ||
| * The type at `a`, `apos`, `pathToSub` satisfies `constraint` through | ||
| * `abs`, `sub`, and `constraintMention`. | ||
| */ |
Check warning
Code scanning / CodeQL
Predicate QLDoc style. Warning
No description provided.