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

Rust: Minor doc tweaks based on PR comments

Browse Source
This commit is contained in:
Simon Friis Vindum
2025-03-28 13:39:42 +01:00
parent 623bc232bf
commit 989c14485d
1 changed files with 1 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -344,7 +344,6 @@ module Make1<LocationSig Location, InputSig1<Location> Input1> {
)
}
/** Similar to `baseTypeMentionHasTypeAt` but FIXME: */
pragma[inline]
predicate baseTypeMentionHasNonTypeParameterAt(
Type sub, TypeMention baseMention, TypePath path, Type t
@@ -527,7 +526,7 @@ module Make1<LocationSig Location, InputSig1<Location> Input1> {
private module AccessBaseType {
/**
* Holds if inferring types at `a` might depend on the type at `path` of
* `apos` having `base` as a transitive base type mention.
* `apos` having `base` as a transitive base type.
*/
private predicate relevantAccess(Access a, AccessPosition apos, TypePath path, Type base) {
exists(Declaration target, DeclarationPosition dpos |