hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-26 17:25:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

Rust: QLDoc fixes

Browse Source
This commit is contained in:
Simon Friis Vindum
2026-01-15 11:34:58 +01:00
parent 8cbe17a62b
commit 15f3c38041
2 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
rust/ql/lib/codeql/rust/internal/typeinference/Type.qll
View File

@@ -457,12 +457,12 @@ class AssociatedTypeTypeParameter extends TypeParameter, TAssociatedTypeTypePara
override Location getLocation() { result = typeAlias.getLocation() }
}
/** Gets the associated type type parameter corresponding directly to `typeAlias`. */
/** Gets the associated type type-parameter corresponding directly to `typeAlias`. */
AssociatedTypeTypeParameter getAssociatedTypeTypeParameter(TypeAlias typeAlias) {
result.isDirect() and result.getTypeAlias() = typeAlias
}
/** Gets the dyn type type parameter corresponding directly to `typeAlias`. */
/** Gets the dyn type type-parameter corresponding directly to `typeAlias`. */
DynTraitTypeParameter getDynTraitTypeParameter(TypeAlias typeAlias) {
result.getTraitTypeParameter() = getAssociatedTypeTypeParameter(typeAlias)
}

2
rust/ql/lib/codeql/rust/internal/typeinference/TypeMention.qll
View File

@@ -245,7 +245,7 @@ class NonAliasPathTypeMention extends PathTypeMention {
// trait Sub: Super<Assoc=Assoc[Sub]>
// ```
// Where `Assoc` is an associated type of `Super` and `Assoc[Sub]` denotes
// the copy of the type parameter inherited into `Sub`.
// the copy of the type parameter inherited by `Sub`.
exists(Trait subtrait, TypeAlias alias |
subtrait.getATypeBound().getTypeRepr().(PathTypeRepr).getPath() = this and
result = TAssociatedTypeTypeParameter(subtrait, alias) and