mirror of
https://github.com/github/codeql.git
synced 2025-12-23 12:16:33 +01:00
renamed "infertypeexpr" to "infer_typeexpr"
This commit is contained in:
@@ -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`.
|
||||
*/
|
||||
|
||||
@@ -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
|
||||
|
||||
@@ -898,7 +898,7 @@
|
||||
<v>100</v>
|
||||
</e>
|
||||
<e>
|
||||
<k>@infertypeexpr</k>
|
||||
<k>@infer_typeexpr</k>
|
||||
<v>100</v>
|
||||
</e>
|
||||
<e>
|
||||
|
||||
Reference in New Issue
Block a user