hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-02-12 05:01:06 +01:00
Code Issues Packages Projects Releases Wiki Activity

Rust: Remove trait parameter from canonicalDynTraitTypeAbstraction

Browse Source
This commit is contained in:
Simon Friis Vindum
2026-01-16 11:11:50 +01:00
parent a11693268b
commit 6b3d863f70
1 changed files with 5 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
rust/ql/lib/codeql/rust/internal/typeinference/TypeAbstraction.qll
View File

@@ -33,8 +33,10 @@ private int idOfDynTraitTypeRepr(DynTraitTypeRepr node) {
}
/** Holds if `dt` is the (arbitrarily chosen) canonical dyn trait type abstraction for `trait`. */
private predicate canonicalDynTraitTypeAbstraction(DynTraitTypeRepr dt, Trait trait) {
dt = min(DynTraitTypeRepr d | d.getTrait() = trait | d order by idOfDynTraitTypeRepr(d))
private predicate canonicalDynTraitTypeAbstraction(DynTraitTypeRepr dt) {
exists(Trait trait |
dt = min(DynTraitTypeRepr d | d.getTrait() = trait | d order by idOfDynTraitTypeRepr(d))
)
}
final class DynTypeAbstraction extends TypeAbstraction, DynTraitTypeRepr {
@@ -42,7 +44,7 @@ final class DynTypeAbstraction extends TypeAbstraction, DynTraitTypeRepr {
// We pick a "canonical" `dyn Trait` in order to avoid including multiple
// entries in `conditionSatisfiesConstraint` with the exact same effect when
// `dyn Trait` occurs multiple times for the same trait.
canonicalDynTraitTypeAbstraction(this, this.getTrait())
canonicalDynTraitTypeAbstraction(this)
}
override TypeParameter getATypeParameter() {