Skip to content

Commit 7dd4b1e

Browse files
committed
wip
1 parent 7208612 commit 7dd4b1e

File tree

4 files changed

+405
-175
lines changed

4 files changed

+405
-175
lines changed

rust/ql/lib/codeql/rust/internal/Type.qll

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -81,6 +81,8 @@ abstract class Type extends TType {
8181
*/
8282
TypeParameter getATypeParameter() { result = this.getPositionalTypeParameter(_) }
8383

84+
predicate hasATypeParameter() { exists(this.getATypeParameter()) }
85+
8486
/** Gets a textual representation of this type. */
8587
abstract string toString();
8688

0 commit comments

Comments
 (0)