diff --git a/javascript/ql/src/semmle/javascript/TypeScript.qll b/javascript/ql/src/semmle/javascript/TypeScript.qll index 7b36ace1a88..2769834e4bc 100644 --- a/javascript/ql/src/semmle/javascript/TypeScript.qll +++ b/javascript/ql/src/semmle/javascript/TypeScript.qll @@ -1070,7 +1070,7 @@ class ConditionalTypeExpr extends @conditional_typeexpr, TypeExpr { /** * A type annotation of form `infer R`. */ -class InferTypeExpr extends @infertypeexpr, TypeParameterized, TypeExpr { +class InferTypeExpr extends @infer_typeexpr, TypeParameterized, TypeExpr { /** * Gets the type parameter capturing the matched type, such as `R` in `infer R`. */ diff --git a/javascript/ql/src/semmlecode.javascript.dbscheme b/javascript/ql/src/semmlecode.javascript.dbscheme index 7daca73d753..ee529dbfcee 100644 --- a/javascript/ql/src/semmlecode.javascript.dbscheme +++ b/javascript/ql/src/semmlecode.javascript.dbscheme @@ -437,7 +437,7 @@ scopenesting (unique int inner: @scope ref, @function = @functiondeclstmt | @functionexpr | @arrowfunctionexpr; @parameterized = @function | @catchclause; -@type_parameterized = @function | @classorinterface | @typealiasdeclaration | @mapped_typeexpr | @infertypeexpr; +@type_parameterized = @function | @classorinterface | @typealiasdeclaration | @mapped_typeexpr | @infer_typeexpr; is_generator (int fun: @function ref); has_rest_parameter (int fun: @function ref); @@ -576,7 +576,7 @@ case @typeexpr.kind of | 26 = @qualified_namespace_access | 27 = @mapped_typeexpr | 28 = @conditional_typeexpr -| 29 = @infertypeexpr +| 29 = @infer_typeexpr | 30 = @importtypeaccess | 31 = @importnamespaceaccess | 32 = @importvartypeaccess diff --git a/javascript/ql/src/semmlecode.javascript.dbscheme.stats b/javascript/ql/src/semmlecode.javascript.dbscheme.stats index 60226b79a29..cdff813a95a 100644 --- a/javascript/ql/src/semmlecode.javascript.dbscheme.stats +++ b/javascript/ql/src/semmlecode.javascript.dbscheme.stats @@ -898,7 +898,7 @@ 100 -@infertypeexpr +@infer_typeexpr 100