hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-28 10:15:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #19062 from paldepind/rust-ti-1

Browse Source 
Rust: Improve handling of trait bounds
This commit is contained in:
Simon Friis Vindum
2025-03-20 14:38:03 +01:00
committed by GitHub
parent e2d6643600 b02a249fbd
commit 659077769b
5 changed files with 950 additions and 705 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
shared/typeinference/codeql/typeinference/internal/TypeInference.qll
View File

@@ -254,6 +254,7 @@ module Make1<LocationSig Location, InputSig1<Location> Input1> {
module Make2<InputSig2 Input2> {
private import Input2
/** Gets the type at the empty path of `tm`. */
pragma[nomagic]
private Type resolveTypeMentionRoot(TypeMention tm) {
result = tm.resolveTypeAt(TypePath::nil())
@@ -275,7 +276,7 @@ module Make1<LocationSig Location, InputSig1<Location> Input1> {
*
* class Mid<T3> : Base<C<T3>> { }
*
* class Sub<T4> : Mid<C<T4>> { }
* class Sub<T4> : Mid<C<T4>> { } // Sub<T4> extends Base<C<C<T4>>
* ```
*
* - `T3` is mentioned at `0.0` for immediate base type mention `Base<C<T3>>`
@@ -334,9 +335,9 @@ module Make1<LocationSig Location, InputSig1<Location> Input1> {
}
/**
* Holds if `baseMention` is a (transitive) base type mention of `sub`, and
* non-type-parameter `t` is mentioned (implicitly) at `path` inside
* `baseMention`. For example, in
* Holds if `baseMention` is a (transitive) base type mention of `sub`,
* and `t`, which is not a type parameter of `sub`, is mentioned
* (implicitly) at `path` inside `baseMention`. For example, in
*
* ```csharp
* class C<T1> { }
@@ -345,7 +346,7 @@ module Make1<LocationSig Location, InputSig1<Location> Input1> {
*
* class Mid<T3> : Base<C<T3>> { }
*
* class Sub<T4> : Mid<C<T4>> { }
* class Sub<T4> : Mid<C<T4>> { } // Sub<T4> extends Base<C<C<T4>>
* ```
*
* - ``C`1`` is mentioned at `0` for immediate base type mention `Base<C<T3>>`
@@ -359,7 +360,7 @@ module Make1<LocationSig Location, InputSig1<Location> Input1> {
predicate baseTypeMentionHasNonTypeParameterAt(
Type sub, TypeMention baseMention, TypePath path, Type t
) {
not t instanceof TypeParameter and
not t = sub.getATypeParameter() and
exists(TypeMention immediateBaseMention |
pragma[only_bind_into](immediateBaseMention) =
getABaseTypeMention(pragma[only_bind_into](sub))