hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

Rust: refine upgrade script

Browse Source
This commit is contained in:
Paolo Tranquilli
2025-08-18 17:19:47 +02:00
parent 6266d6e7b0
commit a658fa168d
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
rust/ql/lib/upgrades/319c933d9615ccf40f363548cafd51d08c74a534/upgrade.ql
View File

@@ -66,6 +66,10 @@ query predicate new_for_type_repr_for_binders(Element id, NewElement binder) {
binder = Fresh::map(TForTypeForBinder(id, _))
}
query predicate new_for_type_repr_type_reprs(Element id, Element type) {
for_type_repr_type_reprs(id, type) and not id instanceof ForTypeInTypeBound
}
// we attach a ForTypeInTypeBound id as a ForBinder one to its TypeBound
query predicate new_type_bound_for_binders(Element id, NewElement binder) {
id = binder.(ForTypeInTypeBound).getBound()