typescript 4.9.0-dev.20220917 → 4.9.0-dev.20220919

package/lib/cs/diagnosticMessages.generated.json

@@ -1469,6 +1469,7 @@
   "The_type_returned_by_the_0_method_of_an_iterator_must_have_a_value_property_2490": "Typ vrácený metodou {0}() iterátoru musí obsahovat vlastnost value.",
   "The_types_of_0_are_incompatible_between_these_types_2200": "Typy {0} nejsou mezi těmito typy kompatibilní.",
   "The_types_returned_by_0_are_incompatible_between_these_types_2201": "Typy vrácené metodou {0} nejsou mezi těmito typy kompatibilní.",
+  "The_value_0_cannot_be_used_here_18050": "Hodnota „{0}“ se tady nedá použít.",
   "The_variable_declaration_of_a_for_in_statement_cannot_have_an_initializer_1189": "Deklarace proměnné příkazu for...in nemůže obsahovat inicializátor.",
   "The_variable_declaration_of_a_for_of_statement_cannot_have_an_initializer_1190": "Deklarace proměnné příkazu for...of nemůže obsahovat inicializátor.",
   "The_with_statement_is_not_supported_All_symbols_in_a_with_block_will_have_type_any_2410": "Příkaz with není podporovaný. Všechny symboly s blokem with budou typu any.",
@@ -1728,6 +1729,10 @@
   "_0_is_not_a_valid_meta_property_for_keyword_1_Did_you_mean_2_17012": "{0} není platnou metavlastností pro klíčové slovo {1}. Měli jste na mysli {2}?",
   "_0_is_not_allowed_as_a_parameter_name_1390": "{0} není povolen jako název parametru.",
   "_0_is_not_allowed_as_a_variable_declaration_name_1389": "{0} se nepovoluje jako název deklarace proměnné.",
+  "_0_is_of_type_unknown_18046": "„{0}“ je typ unknown",
+  "_0_is_possibly_null_18047": "„{0}“ je pravděpodobně typ null.",
+  "_0_is_possibly_null_or_undefined_18049": "„{0}“ je typ null nebo undefined",
+  "_0_is_possibly_undefined_18048": "„{0}“ je pravděpodobně typ undefined.",
   "_0_is_referenced_directly_or_indirectly_in_its_own_base_expression_2506": "Na {0} se přímo nebo nepřímo odkazuje ve vlastním základním výrazu.",
   "_0_is_referenced_directly_or_indirectly_in_its_own_type_annotation_2502": "Na {0} se odkazuje přímo nebo nepřímo v jeho vlastní anotaci typu.",
   "_0_is_specified_more_than_once_so_this_usage_will_be_overwritten_2783": "{0} se zadalo více než jednou, proto se toto použití přepíše.",

package/lib/fr/diagnosticMessages.generated.json

@@ -1469,6 +1469,7 @@
   "The_type_returned_by_the_0_method_of_an_iterator_must_have_a_value_property_2490": "Le type retourné par la méthode '{0}()' d'un itérateur doit avoir une propriété 'value'.",
   "The_types_of_0_are_incompatible_between_these_types_2200": "Les types de '{0}' sont incompatibles entre eux.",
   "The_types_returned_by_0_are_incompatible_between_these_types_2201": "Les types retournés par '{0}' sont incompatibles entre eux.",
+  "The_value_0_cannot_be_used_here_18050": "La valeur '{0}' ne peut pas être utilisée ici.",
   "The_variable_declaration_of_a_for_in_statement_cannot_have_an_initializer_1189": "La déclaration de variable d'une instruction 'for...in' ne peut pas avoir d'initialiseur.",
   "The_variable_declaration_of_a_for_of_statement_cannot_have_an_initializer_1190": "La déclaration de variable d'une instruction 'for...of' ne peut pas avoir d'initialiseur.",
   "The_with_statement_is_not_supported_All_symbols_in_a_with_block_will_have_type_any_2410": "L'instruction 'with' n'est pas prise en charge. Tous les symboles d'un bloc 'with' ont le type 'any'.",
@@ -1728,6 +1729,10 @@
   "_0_is_not_a_valid_meta_property_for_keyword_1_Did_you_mean_2_17012": "'{0}' n'est pas une métapropriété valide pour le mot clé '{1}'. Est-ce qu'il ne s'agit pas plutôt de '{2}' ?",
   "_0_is_not_allowed_as_a_parameter_name_1390": "'{0}' n'est pas autorisé comme nom de paramètre.",
   "_0_is_not_allowed_as_a_variable_declaration_name_1389": "'{0}' n'est pas autorisé en tant que nom de déclaration de variable.",
+  "_0_is_of_type_unknown_18046": "'{0}' est de type 'unknown'.",
+  "_0_is_possibly_null_18047": "'{0}' est peut-être 'null'.",
+  "_0_is_possibly_null_or_undefined_18049": "'{0}' est peut-être 'null' ou 'undefined'.",
+  "_0_is_possibly_undefined_18048": "'{0}' est peut-être 'non défini'.",
   "_0_is_referenced_directly_or_indirectly_in_its_own_base_expression_2506": "'{0}' est référencé directement ou indirectement dans sa propre expression de base.",
   "_0_is_referenced_directly_or_indirectly_in_its_own_type_annotation_2502": "'{0}' est référencé directement ou indirectement dans sa propre annotation de type.",
   "_0_is_specified_more_than_once_so_this_usage_will_be_overwritten_2783": "'{0}' est spécifié plusieurs fois. Cette utilisation va donc être remplacée.",

package/lib/ja/diagnosticMessages.generated.json

@@ -1469,6 +1469,7 @@
   "The_type_returned_by_the_0_method_of_an_iterator_must_have_a_value_property_2490": "反復子の '{0}()' メソッドによって返される型には 'value' プロパティが必要です。",
   "The_types_of_0_are_incompatible_between_these_types_2200": "'{0}' の型は、これらの型同士で互換性がありません。",
   "The_types_returned_by_0_are_incompatible_between_these_types_2201": "'{0}' によって返された型は、これらの型同士で互換性がありません。",
+  "The_value_0_cannot_be_used_here_18050": "値 '{0}' はここでは使用できません。",
   "The_variable_declaration_of_a_for_in_statement_cannot_have_an_initializer_1189": "'for...in' ステートメントの変数宣言に初期化子を指定することはできません。",
   "The_variable_declaration_of_a_for_of_statement_cannot_have_an_initializer_1190": "'for...of' ステートメントの変数宣言に初期化子を指定することはできません。",
   "The_with_statement_is_not_supported_All_symbols_in_a_with_block_will_have_type_any_2410": "'with' ステートメントはサポートされていません。'with' ブロック内のすべてのシンボルの型は 'any' になります。",
@@ -1728,6 +1729,10 @@
   "_0_is_not_a_valid_meta_property_for_keyword_1_Did_you_mean_2_17012": "'{0}' はキーワード '{1}' に関するメタプロパティとして無効です。候補: '{2}'。",
   "_0_is_not_allowed_as_a_parameter_name_1390": "'{0}' はパラメーター名として使用できません。",
   "_0_is_not_allowed_as_a_variable_declaration_name_1389": "'{0}' は変数宣言の名前として使用できません。",
+  "_0_is_of_type_unknown_18046": "'{0}''は 'unknown' 型です。",
+  "_0_is_possibly_null_18047": "'{0}' は 'null' の可能性があります。",
+  "_0_is_possibly_null_or_undefined_18049": "'{0}' は 'null' か 'undefined' の可能性があります。",
+  "_0_is_possibly_undefined_18048": "'{0}' は 'undefined' の可能性があります。",
   "_0_is_referenced_directly_or_indirectly_in_its_own_base_expression_2506": "'{0}' はそれ自身のベース式内で直接または間接的に参照されます。",
   "_0_is_referenced_directly_or_indirectly_in_its_own_type_annotation_2502": "'{0}' はそれ自身の型の注釈内で直接または間接的に参照されます。",
   "_0_is_specified_more_than_once_so_this_usage_will_be_overwritten_2783": "'{0}' が複数回指定されているため、ここでの使用は上書きされます。",

package/lib/ko/diagnosticMessages.generated.json

@@ -1469,6 +1469,7 @@
   "The_type_returned_by_the_0_method_of_an_iterator_must_have_a_value_property_2490": "반복기의 '{0}()' 메서드에 의해 반환되는 형식에는 'value' 속성이 있어야 합니다.",
   "The_types_of_0_are_incompatible_between_these_types_2200": "'{0}'의 형식은 해당 형식 간에 호환되지 않습니다.",
   "The_types_returned_by_0_are_incompatible_between_these_types_2201": "'{0}'에서 반환되는 형식은 해당 형식 간에 호환되지 않습니다.",
+  "The_value_0_cannot_be_used_here_18050": "여기서는 '{0}' 값을 사용할 수 없습니다.",
   "The_variable_declaration_of_a_for_in_statement_cannot_have_an_initializer_1189": "'for...in' 문의 변수 선언에 이니셜라이저가 포함될 수 없습니다.",
   "The_variable_declaration_of_a_for_of_statement_cannot_have_an_initializer_1190": "'for...of' 문의 변수 선언에 이니셜라이저가 포함될 수 없습니다.",
   "The_with_statement_is_not_supported_All_symbols_in_a_with_block_will_have_type_any_2410": "'with' 문은 지원되지 않습니다. 'with' 블록의 모든 기호가 'any' 형식이 됩니다.",
@@ -1728,6 +1729,10 @@
   "_0_is_not_a_valid_meta_property_for_keyword_1_Did_you_mean_2_17012": "'{0}'은(는) '{1}' 키워드에 대한 올바른 메타 속성이 아닙니다. '{2}'을(를) 사용하시겠습니까?",
   "_0_is_not_allowed_as_a_parameter_name_1390": "'{0}'은(는) 매개 변수 이름으로 사용할 수 없습니다.",
   "_0_is_not_allowed_as_a_variable_declaration_name_1389": "'{0}'은(는) 변수 선언 이름으로 사용할 수 없습니다.",
+  "_0_is_of_type_unknown_18046": "'{0}'은(는) 'unknown' 형식입니다.",
+  "_0_is_possibly_null_18047": "'{0}'은(는) 'null'일 수 있습니다.",
+  "_0_is_possibly_null_or_undefined_18049": "'{0}'은(는) 'null' 또는 'undefined'일 수 있습니다.",
+  "_0_is_possibly_undefined_18048": "'{0}'은(는) 'undefined'일 수 있습니다.",
   "_0_is_referenced_directly_or_indirectly_in_its_own_base_expression_2506": "'{0}'은(는) 자체 기본 식에서 직간접적으로 참조됩니다.",
   "_0_is_referenced_directly_or_indirectly_in_its_own_type_annotation_2502": "'{0}'은(는) 자체 형식 주석에서 직간접적으로 참조됩니다.",
   "_0_is_specified_more_than_once_so_this_usage_will_be_overwritten_2783": "'{0}'이(가) 두 번 이상 지정되어 이 사용량을 덮어씁니다.",

package/lib/pt-br/diagnosticMessages.generated.json

@@ -1469,6 +1469,7 @@
   "The_type_returned_by_the_0_method_of_an_iterator_must_have_a_value_property_2490": "O tipo retornado pelo método '{0}()' de um iterador deve ter uma propriedade 'value'.",
   "The_types_of_0_are_incompatible_between_these_types_2200": "Os tipos de '{0}' são incompatíveis entre esses tipos.",
   "The_types_returned_by_0_are_incompatible_between_these_types_2201": "Os tipos retornados por '{0}' são incompatíveis entre esses tipos.",
+  "The_value_0_cannot_be_used_here_18050": "O valor '{0}' não pode ser usado aqui.",
   "The_variable_declaration_of_a_for_in_statement_cannot_have_an_initializer_1189": "A declaração de variável de uma instrução 'for...in' não pode ter um inicializador.",
   "The_variable_declaration_of_a_for_of_statement_cannot_have_an_initializer_1190": "A declaração de variável de uma instrução 'for...of' não pode ter um inicializador.",
   "The_with_statement_is_not_supported_All_symbols_in_a_with_block_will_have_type_any_2410": "A instrução \"with\" não tem suporte. Todos os símbolos em um bloco \"with\" terão o tipo \"any\".",
@@ -1728,6 +1729,10 @@
   "_0_is_not_a_valid_meta_property_for_keyword_1_Did_you_mean_2_17012": "'{0}' não é uma metapropriedade para a palavra-chave '{1}'. Você quis dizer '{2}'?",
   "_0_is_not_allowed_as_a_parameter_name_1390": "'{0}' não é permitido como um nome de parâmetro.",
   "_0_is_not_allowed_as_a_variable_declaration_name_1389": "'{0}' não é permitido como um nome de declaração de variável.",
+  "_0_is_of_type_unknown_18046": "'{0}' é do tipo 'desconhecido'.",
+  "_0_is_possibly_null_18047": "'{0}' é possivelmente 'null'.",
+  "_0_is_possibly_null_or_undefined_18049": "'{0}' é possivelmente 'null' ou 'undefined'.",
+  "_0_is_possibly_undefined_18048": "'{0}' é possivelmente 'indefinido'.",
   "_0_is_referenced_directly_or_indirectly_in_its_own_base_expression_2506": "'{0}' é referenciado direta ou indiretamente em sua própria expressão base.",
   "_0_is_referenced_directly_or_indirectly_in_its_own_type_annotation_2502": "'{0}' é referenciado direta ou indiretamente em sua própria anotação de tipo.",
   "_0_is_specified_more_than_once_so_this_usage_will_be_overwritten_2783": "'{0}' foi especificado mais de uma vez, portanto esse uso será substituído.",

package/lib/ru/diagnosticMessages.generated.json

@@ -1469,6 +1469,7 @@
   "The_type_returned_by_the_0_method_of_an_iterator_must_have_a_value_property_2490": "Тип, возвращаемый методом \"{0}()\" итератора, должен содержать свойство \"value\".",
   "The_types_of_0_are_incompatible_between_these_types_2200": "Типы \"{0}\" несовместимы между этими типами.",
   "The_types_returned_by_0_are_incompatible_between_these_types_2201": "Типы, возвращаемые \"{0}\", несовместимы между этими типами.",
+  "The_value_0_cannot_be_used_here_18050": "Здесь нельзя использовать значение \"{0}\".",
   "The_variable_declaration_of_a_for_in_statement_cannot_have_an_initializer_1189": "Объявление переменной оператора for...in не может содержать инициализатор.",
   "The_variable_declaration_of_a_for_of_statement_cannot_have_an_initializer_1190": "Объявление переменной оператора for...of не может содержать инициализатор.",
   "The_with_statement_is_not_supported_All_symbols_in_a_with_block_will_have_type_any_2410": "Оператор with не поддерживается. Все символы в блоке with получат тип any.",
@@ -1728,6 +1729,10 @@
   "_0_is_not_a_valid_meta_property_for_keyword_1_Did_you_mean_2_17012": "\"{0}\" не является допустимым метасвойством для ключевого слова \"{1}\". Вы имели в виду \"{2}\"?",
   "_0_is_not_allowed_as_a_parameter_name_1390": "\"{0}\" не является допустимым именем параметра.",
   "_0_is_not_allowed_as_a_variable_declaration_name_1389": "Использование \"{0}\" в качестве имени объявления переменной не допускается.",
+  "_0_is_of_type_unknown_18046": "\"{0}\" относится к типу unknown.",
+  "_0_is_possibly_null_18047": "Возможно, \"{0}\" имеет значение null.",
+  "_0_is_possibly_null_or_undefined_18049": "Возможно, \"{0}\" имеет значение null или undefined.",
+  "_0_is_possibly_undefined_18048": "Возможно, \"{0}\" имеет значение undefined.",
   "_0_is_referenced_directly_or_indirectly_in_its_own_base_expression_2506": "На \"{0}\" есть прямые или непрямые ссылки в его собственном базовом выражении.",
   "_0_is_referenced_directly_or_indirectly_in_its_own_type_annotation_2502": "На \"{0}\" есть прямые или непрямые ссылки в его собственной аннотации типа.",
   "_0_is_specified_more_than_once_so_this_usage_will_be_overwritten_2783": "\"{0}\" указан несколько раз, поэтому такое использование будет перезаписано.",

package/lib/tsc.js

@@ -69,7 +69,7 @@ var __generator = (this && this.__generator) || function (thisArg, body) {
 var ts;
 (function (ts) {
     ts.versionMajorMinor = "4.9";
-    ts.version = "".concat(ts.versionMajorMinor, ".0-dev.20220917");
+    ts.version = "".concat(ts.versionMajorMinor, ".0-dev.20220919");
     var NativeCollections;
     (function (NativeCollections) {
         var globals = typeof globalThis !== "undefined" ? globalThis :
@@ -40638,6 +40638,7 @@ var ts;
             isPropertyAccessible: isPropertyAccessible,
             getTypeOnlyAliasDeclaration: getTypeOnlyAliasDeclaration,
             getMemberOverrideModifierStatus: getMemberOverrideModifierStatus,
+            isTypeParameterPossiblyReferenced: isTypeParameterPossiblyReferenced,
         };
         function runWithInferenceBlockedFromSourceNode(node, fn) {
             var containingCall = ts.findAncestor(node, ts.isCallLikeExpression);
@@ -53849,6 +53850,24 @@ var ts;
                         return !tp.isThisType && ts.isPartOfTypeNode(node) && maybeTypeParameterReference(node) &&
                             getTypeFromTypeNodeWorker(node) === tp;
                     case 183:
+                        var entityName = node.exprName;
+                        var firstIdentifier = ts.getFirstIdentifier(entityName);
+                        var firstIdentifierSymbol = getResolvedSymbol(firstIdentifier);
+                        var tpDeclaration = tp.symbol.declarations[0];
+                        var tpScope_1;
+                        if (tpDeclaration.kind === 165) {
+                            tpScope_1 = tpDeclaration.parent;
+                        }
+                        else if (tp.isThisType) {
+                            tpScope_1 = tpDeclaration;
+                        }
+                        else {
+                            return true;
+                        }
+                        if (firstIdentifierSymbol.declarations) {
+                            return ts.some(firstIdentifierSymbol.declarations, function (idDecl) { return ts.isNodeDescendantOf(idDecl, tpScope_1); }) ||
+                                ts.some(node.typeArguments, containsReference);
+                        }
                         return true;
                     case 171:
                     case 170:
@@ -60980,10 +60999,11 @@ var ts;
                         if (!(links.flags & 268435456)) {
                             links.flags |= 268435456;
                             var parentType = getTypeForBindingElementParent(parent, 0);
+                            var parentTypeConstraint = parentType && mapType(parentType, getBaseConstraintOrType);
                             links.flags &= ~268435456;
-                            if (parentType && parentType.flags & 1048576 && !(parent.kind === 166 && isSymbolAssigned(symbol))) {
+                            if (parentTypeConstraint && parentTypeConstraint.flags & 1048576 && !(parent.kind === 166 && isSymbolAssigned(symbol))) {
                                 var pattern = declaration.parent;
-                                var narrowedType = getFlowTypeOfReference(pattern, parentType, parentType, undefined, location.flowNode);
+                                var narrowedType = getFlowTypeOfReference(pattern, parentTypeConstraint, parentTypeConstraint, undefined, location.flowNode);
                                 if (narrowedType.flags & 131072) {
                                     return neverType;
                                 }

package/lib/tsserver.js

@@ -109,7 +109,7 @@ var ts;
     // The following is baselined as a literal template type without intervention
     /** The version of the TypeScript compiler release */
     // eslint-disable-next-line @typescript-eslint/no-inferrable-types
-    ts.version = "".concat(ts.versionMajorMinor, ".0-dev.20220917");
+    ts.version = "".concat(ts.versionMajorMinor, ".0-dev.20220919");
     /* @internal */
     var Comparison;
     (function (Comparison) {
@@ -49542,6 +49542,7 @@ var ts;
             isPropertyAccessible: isPropertyAccessible,
             getTypeOnlyAliasDeclaration: getTypeOnlyAliasDeclaration,
             getMemberOverrideModifierStatus: getMemberOverrideModifierStatus,
+            isTypeParameterPossiblyReferenced: isTypeParameterPossiblyReferenced,
         };
         function runWithInferenceBlockedFromSourceNode(node, fn) {
             var containingCall = ts.findAncestor(node, ts.isCallLikeExpression);
@@ -64599,9 +64600,10 @@ var ts;
                 node.parent.kind === 202 /* SyntaxKind.ImportType */ && node.parent.typeArguments && node === node.parent.qualifier);
         }
         function isTypeParameterPossiblyReferenced(tp, node) {
-            // If the type parameter doesn't have exactly one declaration, if there are invening statement blocks
+            // If the type parameter doesn't have exactly one declaration, if there are intervening statement blocks
             // between the node and the type parameter declaration, if the node contains actual references to the
-            // type parameter, or if the node contains type queries, we consider the type parameter possibly referenced.
+            // type parameter, or if the node contains type queries that we can't prove couldn't contain references to the type parameter,
+            // we consider the type parameter possibly referenced.
             if (tp.symbol && tp.symbol.declarations && tp.symbol.declarations.length === 1) {
                 var container = tp.symbol.declarations[0].parent;
                 for (var n = node; n !== container; n = n.parent) {
@@ -64620,6 +64622,27 @@ var ts;
                         return !tp.isThisType && ts.isPartOfTypeNode(node) && maybeTypeParameterReference(node) &&
                             getTypeFromTypeNodeWorker(node) === tp; // use worker because we're looking for === equality
                     case 183 /* SyntaxKind.TypeQuery */:
+                        var entityName = node.exprName;
+                        var firstIdentifier = ts.getFirstIdentifier(entityName);
+                        var firstIdentifierSymbol = getResolvedSymbol(firstIdentifier);
+                        var tpDeclaration = tp.symbol.declarations[0]; // There is exactly one declaration, otherwise `containsReference` is not called
+                        var tpScope_1;
+                        if (tpDeclaration.kind === 165 /* SyntaxKind.TypeParameter */) { // Type parameter is a regular type parameter, e.g. foo<T>
+                            tpScope_1 = tpDeclaration.parent;
+                        }
+                        else if (tp.isThisType) {
+                            // Type parameter is the this type, and its declaration is the class declaration.
+                            tpScope_1 = tpDeclaration;
+                        }
+                        else {
+                            // Type parameter's declaration was unrecognized.
+                            // This could happen if the type parameter comes from e.g. a JSDoc annotation, so we default to returning true.
+                            return true;
+                        }
+                        if (firstIdentifierSymbol.declarations) {
+                            return ts.some(firstIdentifierSymbol.declarations, function (idDecl) { return ts.isNodeDescendantOf(idDecl, tpScope_1); }) ||
+                                ts.some(node.typeArguments, containsReference);
+                        }
                         return true;
                     case 171 /* SyntaxKind.MethodDeclaration */:
                     case 170 /* SyntaxKind.MethodSignature */:
@@ -72873,10 +72896,11 @@ var ts;
                         if (!(links.flags & 268435456 /* NodeCheckFlags.InCheckIdentifier */)) {
                             links.flags |= 268435456 /* NodeCheckFlags.InCheckIdentifier */;
                             var parentType = getTypeForBindingElementParent(parent, 0 /* CheckMode.Normal */);
+                            var parentTypeConstraint = parentType && mapType(parentType, getBaseConstraintOrType);
                             links.flags &= ~268435456 /* NodeCheckFlags.InCheckIdentifier */;
-                            if (parentType && parentType.flags & 1048576 /* TypeFlags.Union */ && !(parent.kind === 166 /* SyntaxKind.Parameter */ && isSymbolAssigned(symbol))) {
+                            if (parentTypeConstraint && parentTypeConstraint.flags & 1048576 /* TypeFlags.Union */ && !(parent.kind === 166 /* SyntaxKind.Parameter */ && isSymbolAssigned(symbol))) {
                                 var pattern = declaration.parent;
-                                var narrowedType = getFlowTypeOfReference(pattern, parentType, parentType, /*flowContainer*/ undefined, location.flowNode);
+                                var narrowedType = getFlowTypeOfReference(pattern, parentTypeConstraint, parentTypeConstraint, /*flowContainer*/ undefined, location.flowNode);
                                 if (narrowedType.flags & 131072 /* TypeFlags.Never */) {
                                     return neverType;
                                 }

package/lib/tsserverlibrary.js

@@ -108,7 +108,7 @@ var ts;
     // The following is baselined as a literal template type without intervention
     /** The version of the TypeScript compiler release */
     // eslint-disable-next-line @typescript-eslint/no-inferrable-types
-    ts.version = "".concat(ts.versionMajorMinor, ".0-dev.20220917");
+    ts.version = "".concat(ts.versionMajorMinor, ".0-dev.20220919");
     /* @internal */
     var Comparison;
     (function (Comparison) {
@@ -49541,6 +49541,7 @@ var ts;
             isPropertyAccessible: isPropertyAccessible,
             getTypeOnlyAliasDeclaration: getTypeOnlyAliasDeclaration,
             getMemberOverrideModifierStatus: getMemberOverrideModifierStatus,
+            isTypeParameterPossiblyReferenced: isTypeParameterPossiblyReferenced,
         };
         function runWithInferenceBlockedFromSourceNode(node, fn) {
             var containingCall = ts.findAncestor(node, ts.isCallLikeExpression);
@@ -64598,9 +64599,10 @@ var ts;
                 node.parent.kind === 202 /* SyntaxKind.ImportType */ && node.parent.typeArguments && node === node.parent.qualifier);
         }
         function isTypeParameterPossiblyReferenced(tp, node) {
-            // If the type parameter doesn't have exactly one declaration, if there are invening statement blocks
+            // If the type parameter doesn't have exactly one declaration, if there are intervening statement blocks
             // between the node and the type parameter declaration, if the node contains actual references to the
-            // type parameter, or if the node contains type queries, we consider the type parameter possibly referenced.
+            // type parameter, or if the node contains type queries that we can't prove couldn't contain references to the type parameter,
+            // we consider the type parameter possibly referenced.
             if (tp.symbol && tp.symbol.declarations && tp.symbol.declarations.length === 1) {
                 var container = tp.symbol.declarations[0].parent;
                 for (var n = node; n !== container; n = n.parent) {
@@ -64619,6 +64621,27 @@ var ts;
                         return !tp.isThisType && ts.isPartOfTypeNode(node) && maybeTypeParameterReference(node) &&
                             getTypeFromTypeNodeWorker(node) === tp; // use worker because we're looking for === equality
                     case 183 /* SyntaxKind.TypeQuery */:
+                        var entityName = node.exprName;
+                        var firstIdentifier = ts.getFirstIdentifier(entityName);
+                        var firstIdentifierSymbol = getResolvedSymbol(firstIdentifier);
+                        var tpDeclaration = tp.symbol.declarations[0]; // There is exactly one declaration, otherwise `containsReference` is not called
+                        var tpScope_1;
+                        if (tpDeclaration.kind === 165 /* SyntaxKind.TypeParameter */) { // Type parameter is a regular type parameter, e.g. foo<T>
+                            tpScope_1 = tpDeclaration.parent;
+                        }
+                        else if (tp.isThisType) {
+                            // Type parameter is the this type, and its declaration is the class declaration.
+                            tpScope_1 = tpDeclaration;
+                        }
+                        else {
+                            // Type parameter's declaration was unrecognized.
+                            // This could happen if the type parameter comes from e.g. a JSDoc annotation, so we default to returning true.
+                            return true;
+                        }
+                        if (firstIdentifierSymbol.declarations) {
+                            return ts.some(firstIdentifierSymbol.declarations, function (idDecl) { return ts.isNodeDescendantOf(idDecl, tpScope_1); }) ||
+                                ts.some(node.typeArguments, containsReference);
+                        }
                         return true;
                     case 171 /* SyntaxKind.MethodDeclaration */:
                     case 170 /* SyntaxKind.MethodSignature */:
@@ -72872,10 +72895,11 @@ var ts;
                         if (!(links.flags & 268435456 /* NodeCheckFlags.InCheckIdentifier */)) {
                             links.flags |= 268435456 /* NodeCheckFlags.InCheckIdentifier */;
                             var parentType = getTypeForBindingElementParent(parent, 0 /* CheckMode.Normal */);
+                            var parentTypeConstraint = parentType && mapType(parentType, getBaseConstraintOrType);
                             links.flags &= ~268435456 /* NodeCheckFlags.InCheckIdentifier */;
-                            if (parentType && parentType.flags & 1048576 /* TypeFlags.Union */ && !(parent.kind === 166 /* SyntaxKind.Parameter */ && isSymbolAssigned(symbol))) {
+                            if (parentTypeConstraint && parentTypeConstraint.flags & 1048576 /* TypeFlags.Union */ && !(parent.kind === 166 /* SyntaxKind.Parameter */ && isSymbolAssigned(symbol))) {
                                 var pattern = declaration.parent;
-                                var narrowedType = getFlowTypeOfReference(pattern, parentType, parentType, /*flowContainer*/ undefined, location.flowNode);
+                                var narrowedType = getFlowTypeOfReference(pattern, parentTypeConstraint, parentTypeConstraint, /*flowContainer*/ undefined, location.flowNode);
                                 if (narrowedType.flags & 131072 /* TypeFlags.Never */) {
                                     return neverType;
                                 }

package/lib/typescript.js

@@ -99,7 +99,7 @@ var ts;
     // The following is baselined as a literal template type without intervention
     /** The version of the TypeScript compiler release */
     // eslint-disable-next-line @typescript-eslint/no-inferrable-types
-    ts.version = "".concat(ts.versionMajorMinor, ".0-dev.20220917");
+    ts.version = "".concat(ts.versionMajorMinor, ".0-dev.20220919");
     /* @internal */
     var Comparison;
     (function (Comparison) {
@@ -49532,6 +49532,7 @@ var ts;
             isPropertyAccessible: isPropertyAccessible,
             getTypeOnlyAliasDeclaration: getTypeOnlyAliasDeclaration,
             getMemberOverrideModifierStatus: getMemberOverrideModifierStatus,
+            isTypeParameterPossiblyReferenced: isTypeParameterPossiblyReferenced,
         };
         function runWithInferenceBlockedFromSourceNode(node, fn) {
             var containingCall = ts.findAncestor(node, ts.isCallLikeExpression);
@@ -64589,9 +64590,10 @@ var ts;
                 node.parent.kind === 202 /* SyntaxKind.ImportType */ && node.parent.typeArguments && node === node.parent.qualifier);
         }
         function isTypeParameterPossiblyReferenced(tp, node) {
-            // If the type parameter doesn't have exactly one declaration, if there are invening statement blocks
+            // If the type parameter doesn't have exactly one declaration, if there are intervening statement blocks
             // between the node and the type parameter declaration, if the node contains actual references to the
-            // type parameter, or if the node contains type queries, we consider the type parameter possibly referenced.
+            // type parameter, or if the node contains type queries that we can't prove couldn't contain references to the type parameter,
+            // we consider the type parameter possibly referenced.
             if (tp.symbol && tp.symbol.declarations && tp.symbol.declarations.length === 1) {
                 var container = tp.symbol.declarations[0].parent;
                 for (var n = node; n !== container; n = n.parent) {
@@ -64610,6 +64612,27 @@ var ts;
                         return !tp.isThisType && ts.isPartOfTypeNode(node) && maybeTypeParameterReference(node) &&
                             getTypeFromTypeNodeWorker(node) === tp; // use worker because we're looking for === equality
                     case 183 /* SyntaxKind.TypeQuery */:
+                        var entityName = node.exprName;
+                        var firstIdentifier = ts.getFirstIdentifier(entityName);
+                        var firstIdentifierSymbol = getResolvedSymbol(firstIdentifier);
+                        var tpDeclaration = tp.symbol.declarations[0]; // There is exactly one declaration, otherwise `containsReference` is not called
+                        var tpScope_1;
+                        if (tpDeclaration.kind === 165 /* SyntaxKind.TypeParameter */) { // Type parameter is a regular type parameter, e.g. foo<T>
+                            tpScope_1 = tpDeclaration.parent;
+                        }
+                        else if (tp.isThisType) {
+                            // Type parameter is the this type, and its declaration is the class declaration.
+                            tpScope_1 = tpDeclaration;
+                        }
+                        else {
+                            // Type parameter's declaration was unrecognized.
+                            // This could happen if the type parameter comes from e.g. a JSDoc annotation, so we default to returning true.
+                            return true;
+                        }
+                        if (firstIdentifierSymbol.declarations) {
+                            return ts.some(firstIdentifierSymbol.declarations, function (idDecl) { return ts.isNodeDescendantOf(idDecl, tpScope_1); }) ||
+                                ts.some(node.typeArguments, containsReference);
+                        }
                         return true;
                     case 171 /* SyntaxKind.MethodDeclaration */:
                     case 170 /* SyntaxKind.MethodSignature */:
@@ -72863,10 +72886,11 @@ var ts;
                         if (!(links.flags & 268435456 /* NodeCheckFlags.InCheckIdentifier */)) {
                             links.flags |= 268435456 /* NodeCheckFlags.InCheckIdentifier */;
                             var parentType = getTypeForBindingElementParent(parent, 0 /* CheckMode.Normal */);
+                            var parentTypeConstraint = parentType && mapType(parentType, getBaseConstraintOrType);
                             links.flags &= ~268435456 /* NodeCheckFlags.InCheckIdentifier */;
-                            if (parentType && parentType.flags & 1048576 /* TypeFlags.Union */ && !(parent.kind === 166 /* SyntaxKind.Parameter */ && isSymbolAssigned(symbol))) {
+                            if (parentTypeConstraint && parentTypeConstraint.flags & 1048576 /* TypeFlags.Union */ && !(parent.kind === 166 /* SyntaxKind.Parameter */ && isSymbolAssigned(symbol))) {
                                 var pattern = declaration.parent;
-                                var narrowedType = getFlowTypeOfReference(pattern, parentType, parentType, /*flowContainer*/ undefined, location.flowNode);
+                                var narrowedType = getFlowTypeOfReference(pattern, parentTypeConstraint, parentTypeConstraint, /*flowContainer*/ undefined, location.flowNode);
                                 if (narrowedType.flags & 131072 /* TypeFlags.Never */) {
                                     return neverType;
                                 }

package/lib/typescriptServices.js

@@ -99,7 +99,7 @@ var ts;
     // The following is baselined as a literal template type without intervention
     /** The version of the TypeScript compiler release */
     // eslint-disable-next-line @typescript-eslint/no-inferrable-types
-    ts.version = "".concat(ts.versionMajorMinor, ".0-dev.20220917");
+    ts.version = "".concat(ts.versionMajorMinor, ".0-dev.20220919");
     /* @internal */
     var Comparison;
     (function (Comparison) {
@@ -49532,6 +49532,7 @@ var ts;
             isPropertyAccessible: isPropertyAccessible,
             getTypeOnlyAliasDeclaration: getTypeOnlyAliasDeclaration,
             getMemberOverrideModifierStatus: getMemberOverrideModifierStatus,
+            isTypeParameterPossiblyReferenced: isTypeParameterPossiblyReferenced,
         };
         function runWithInferenceBlockedFromSourceNode(node, fn) {
             var containingCall = ts.findAncestor(node, ts.isCallLikeExpression);
@@ -64589,9 +64590,10 @@ var ts;
                 node.parent.kind === 202 /* SyntaxKind.ImportType */ && node.parent.typeArguments && node === node.parent.qualifier);
         }
         function isTypeParameterPossiblyReferenced(tp, node) {
-            // If the type parameter doesn't have exactly one declaration, if there are invening statement blocks
+            // If the type parameter doesn't have exactly one declaration, if there are intervening statement blocks
             // between the node and the type parameter declaration, if the node contains actual references to the
-            // type parameter, or if the node contains type queries, we consider the type parameter possibly referenced.
+            // type parameter, or if the node contains type queries that we can't prove couldn't contain references to the type parameter,
+            // we consider the type parameter possibly referenced.
             if (tp.symbol && tp.symbol.declarations && tp.symbol.declarations.length === 1) {
                 var container = tp.symbol.declarations[0].parent;
                 for (var n = node; n !== container; n = n.parent) {
@@ -64610,6 +64612,27 @@ var ts;
                         return !tp.isThisType && ts.isPartOfTypeNode(node) && maybeTypeParameterReference(node) &&
                             getTypeFromTypeNodeWorker(node) === tp; // use worker because we're looking for === equality
                     case 183 /* SyntaxKind.TypeQuery */:
+                        var entityName = node.exprName;
+                        var firstIdentifier = ts.getFirstIdentifier(entityName);
+                        var firstIdentifierSymbol = getResolvedSymbol(firstIdentifier);
+                        var tpDeclaration = tp.symbol.declarations[0]; // There is exactly one declaration, otherwise `containsReference` is not called
+                        var tpScope_1;
+                        if (tpDeclaration.kind === 165 /* SyntaxKind.TypeParameter */) { // Type parameter is a regular type parameter, e.g. foo<T>
+                            tpScope_1 = tpDeclaration.parent;
+                        }
+                        else if (tp.isThisType) {
+                            // Type parameter is the this type, and its declaration is the class declaration.
+                            tpScope_1 = tpDeclaration;
+                        }
+                        else {
+                            // Type parameter's declaration was unrecognized.
+                            // This could happen if the type parameter comes from e.g. a JSDoc annotation, so we default to returning true.
+                            return true;
+                        }
+                        if (firstIdentifierSymbol.declarations) {
+                            return ts.some(firstIdentifierSymbol.declarations, function (idDecl) { return ts.isNodeDescendantOf(idDecl, tpScope_1); }) ||
+                                ts.some(node.typeArguments, containsReference);
+                        }
                         return true;
                     case 171 /* SyntaxKind.MethodDeclaration */:
                     case 170 /* SyntaxKind.MethodSignature */:
@@ -72863,10 +72886,11 @@ var ts;
                         if (!(links.flags & 268435456 /* NodeCheckFlags.InCheckIdentifier */)) {
                             links.flags |= 268435456 /* NodeCheckFlags.InCheckIdentifier */;
                             var parentType = getTypeForBindingElementParent(parent, 0 /* CheckMode.Normal */);
+                            var parentTypeConstraint = parentType && mapType(parentType, getBaseConstraintOrType);
                             links.flags &= ~268435456 /* NodeCheckFlags.InCheckIdentifier */;
-                            if (parentType && parentType.flags & 1048576 /* TypeFlags.Union */ && !(parent.kind === 166 /* SyntaxKind.Parameter */ && isSymbolAssigned(symbol))) {
+                            if (parentTypeConstraint && parentTypeConstraint.flags & 1048576 /* TypeFlags.Union */ && !(parent.kind === 166 /* SyntaxKind.Parameter */ && isSymbolAssigned(symbol))) {
                                 var pattern = declaration.parent;
-                                var narrowedType = getFlowTypeOfReference(pattern, parentType, parentType, /*flowContainer*/ undefined, location.flowNode);
+                                var narrowedType = getFlowTypeOfReference(pattern, parentTypeConstraint, parentTypeConstraint, /*flowContainer*/ undefined, location.flowNode);
                                 if (narrowedType.flags & 131072 /* TypeFlags.Never */) {
                                     return neverType;
                                 }

package/lib/typingsInstaller.js

@@ -89,7 +89,7 @@ var ts;
     // The following is baselined as a literal template type without intervention
     /** The version of the TypeScript compiler release */
     // eslint-disable-next-line @typescript-eslint/no-inferrable-types
-    ts.version = "".concat(ts.versionMajorMinor, ".0-dev.20220917");
+    ts.version = "".concat(ts.versionMajorMinor, ".0-dev.20220919");
     /* @internal */
     var Comparison;
     (function (Comparison) {
@@ -49522,6 +49522,7 @@ var ts;
             isPropertyAccessible: isPropertyAccessible,
             getTypeOnlyAliasDeclaration: getTypeOnlyAliasDeclaration,
             getMemberOverrideModifierStatus: getMemberOverrideModifierStatus,
+            isTypeParameterPossiblyReferenced: isTypeParameterPossiblyReferenced,
         };
         function runWithInferenceBlockedFromSourceNode(node, fn) {
             var containingCall = ts.findAncestor(node, ts.isCallLikeExpression);
@@ -64579,9 +64580,10 @@ var ts;
                 node.parent.kind === 202 /* SyntaxKind.ImportType */ && node.parent.typeArguments && node === node.parent.qualifier);
         }
         function isTypeParameterPossiblyReferenced(tp, node) {
-            // If the type parameter doesn't have exactly one declaration, if there are invening statement blocks
+            // If the type parameter doesn't have exactly one declaration, if there are intervening statement blocks
             // between the node and the type parameter declaration, if the node contains actual references to the
-            // type parameter, or if the node contains type queries, we consider the type parameter possibly referenced.
+            // type parameter, or if the node contains type queries that we can't prove couldn't contain references to the type parameter,
+            // we consider the type parameter possibly referenced.
             if (tp.symbol && tp.symbol.declarations && tp.symbol.declarations.length === 1) {
                 var container = tp.symbol.declarations[0].parent;
                 for (var n = node; n !== container; n = n.parent) {
@@ -64600,6 +64602,27 @@ var ts;
                         return !tp.isThisType && ts.isPartOfTypeNode(node) && maybeTypeParameterReference(node) &&
                             getTypeFromTypeNodeWorker(node) === tp; // use worker because we're looking for === equality
                     case 183 /* SyntaxKind.TypeQuery */:
+                        var entityName = node.exprName;
+                        var firstIdentifier = ts.getFirstIdentifier(entityName);
+                        var firstIdentifierSymbol = getResolvedSymbol(firstIdentifier);
+                        var tpDeclaration = tp.symbol.declarations[0]; // There is exactly one declaration, otherwise `containsReference` is not called
+                        var tpScope_1;
+                        if (tpDeclaration.kind === 165 /* SyntaxKind.TypeParameter */) { // Type parameter is a regular type parameter, e.g. foo<T>
+                            tpScope_1 = tpDeclaration.parent;
+                        }
+                        else if (tp.isThisType) {
+                            // Type parameter is the this type, and its declaration is the class declaration.
+                            tpScope_1 = tpDeclaration;
+                        }
+                        else {
+                            // Type parameter's declaration was unrecognized.
+                            // This could happen if the type parameter comes from e.g. a JSDoc annotation, so we default to returning true.
+                            return true;
+                        }
+                        if (firstIdentifierSymbol.declarations) {
+                            return ts.some(firstIdentifierSymbol.declarations, function (idDecl) { return ts.isNodeDescendantOf(idDecl, tpScope_1); }) ||
+                                ts.some(node.typeArguments, containsReference);
+                        }
                         return true;
                     case 171 /* SyntaxKind.MethodDeclaration */:
                     case 170 /* SyntaxKind.MethodSignature */:
@@ -72853,10 +72876,11 @@ var ts;
                         if (!(links.flags & 268435456 /* NodeCheckFlags.InCheckIdentifier */)) {
                             links.flags |= 268435456 /* NodeCheckFlags.InCheckIdentifier */;
                             var parentType = getTypeForBindingElementParent(parent, 0 /* CheckMode.Normal */);
+                            var parentTypeConstraint = parentType && mapType(parentType, getBaseConstraintOrType);
                             links.flags &= ~268435456 /* NodeCheckFlags.InCheckIdentifier */;
-                            if (parentType && parentType.flags & 1048576 /* TypeFlags.Union */ && !(parent.kind === 166 /* SyntaxKind.Parameter */ && isSymbolAssigned(symbol))) {
+                            if (parentTypeConstraint && parentTypeConstraint.flags & 1048576 /* TypeFlags.Union */ && !(parent.kind === 166 /* SyntaxKind.Parameter */ && isSymbolAssigned(symbol))) {
                                 var pattern = declaration.parent;
-                                var narrowedType = getFlowTypeOfReference(pattern, parentType, parentType, /*flowContainer*/ undefined, location.flowNode);
+                                var narrowedType = getFlowTypeOfReference(pattern, parentTypeConstraint, parentTypeConstraint, /*flowContainer*/ undefined, location.flowNode);
                                 if (narrowedType.flags & 131072 /* TypeFlags.Never */) {
                                     return neverType;
                                 }

package/lib/zh-cn/diagnosticMessages.generated.json

@@ -1469,6 +1469,7 @@
   "The_type_returned_by_the_0_method_of_an_iterator_must_have_a_value_property_2490": "迭代器的 \"{0}()\" 方法返回的类型必须具有 \"value\" 属性。",
   "The_types_of_0_are_incompatible_between_these_types_2200": "在这些类型中，\"{0}\" 的类型不兼容。",
   "The_types_returned_by_0_are_incompatible_between_these_types_2201": "在这些类型中，\"{0}\" 返回的类型不兼容。",
+  "The_value_0_cannot_be_used_here_18050": "此处不能使用值“{0}”。",
   "The_variable_declaration_of_a_for_in_statement_cannot_have_an_initializer_1189": "\"for...in\" 语句的变量声明不能有初始化表达式。",
   "The_variable_declaration_of_a_for_of_statement_cannot_have_an_initializer_1190": "\"for...of\" 语句的变量声明不能有初始化表达式。",
   "The_with_statement_is_not_supported_All_symbols_in_a_with_block_will_have_type_any_2410": "不支持 \"with\" 语句。\"with\" 程序块中的所有符号都将具有类型 \"any\"。",
@@ -1728,6 +1729,10 @@
   "_0_is_not_a_valid_meta_property_for_keyword_1_Did_you_mean_2_17012": "“{0}”不是关键字“{1}”的有效元属性。是否是指“{2}”?",
   "_0_is_not_allowed_as_a_parameter_name_1390": "不允许将 '{0}' 作为参数名。",
   "_0_is_not_allowed_as_a_variable_declaration_name_1389": "“{0}”不得用作变量声明名称。",
+  "_0_is_of_type_unknown_18046": "“{0}”的类型为“未知”。",
+  "_0_is_possibly_null_18047": "“{0}”可能为 “null”。",
+  "_0_is_possibly_null_or_undefined_18049": "{0}可能为 “null” 或“未定义”。",
+  "_0_is_possibly_undefined_18048": "“{0}”可能为“未定义”。",
   "_0_is_referenced_directly_or_indirectly_in_its_own_base_expression_2506": "“{0}”在其自身的基表达式中得到直接或间接引用。",
   "_0_is_referenced_directly_or_indirectly_in_its_own_type_annotation_2502": "“{0}”在其自身的类型批注中得到直接或间接引用。",
   "_0_is_specified_more_than_once_so_this_usage_will_be_overwritten_2783": "多次指定了 \"{0}\"，因此将重写此用法。",

package/lib/zh-tw/diagnosticMessages.generated.json

@@ -1469,6 +1469,7 @@
   "The_type_returned_by_the_0_method_of_an_iterator_must_have_a_value_property_2490": "迭代器 '{0}()' 方法所傳回的類型必須具有 'value' 屬性。",
   "The_types_of_0_are_incompatible_between_these_types_2200": "'{0}' 的類型在這些類型之間不相容。",
   "The_types_returned_by_0_are_incompatible_between_these_types_2201": "'{0}' 所傳回的類型在這些類型之間不相容。",
+  "The_value_0_cannot_be_used_here_18050": "此處無法使用值 '{0}'。",
   "The_variable_declaration_of_a_for_in_statement_cannot_have_an_initializer_1189": "'for...in' 陳述式的變數宣告不得有初始設定式。",
   "The_variable_declaration_of_a_for_of_statement_cannot_have_an_initializer_1190": "'for...of' 陳述式的變數宣告不得有初始設定式。",
   "The_with_statement_is_not_supported_All_symbols_in_a_with_block_will_have_type_any_2410": "不支援 'with' 陳述式。'with' 區塊中的所有符號都會有類型 'any'。",
@@ -1728,6 +1729,10 @@
   "_0_is_not_a_valid_meta_property_for_keyword_1_Did_you_mean_2_17012": "'{0}' 對關鍵字 '{1}' 而言不是有效的中繼屬性。您是指 '{2}' 嗎?",
   "_0_is_not_allowed_as_a_parameter_name_1390": "不允許 '{0}' 做為參數名稱。",
   "_0_is_not_allowed_as_a_variable_declaration_name_1389": "'{0}' 不能是變數宣告名稱。",
+  "_0_is_of_type_unknown_18046": "'{0}' 的類型為 'unknown'。",
+  "_0_is_possibly_null_18047": "'{0}' 可能是 'null'。",
+  "_0_is_possibly_null_or_undefined_18049": "'{0}' 可能為「null」或「未定義」。",
+  "_0_is_possibly_undefined_18048": "'{0}' 可能為「未定義」。",
   "_0_is_referenced_directly_or_indirectly_in_its_own_base_expression_2506": "'{0}' 在其本身的基底運算式中直接或間接受到參考。",
   "_0_is_referenced_directly_or_indirectly_in_its_own_type_annotation_2502": "'{0}' 在其本身的類型註釋中直接或間接受到參考。",
   "_0_is_specified_more_than_once_so_this_usage_will_be_overwritten_2783": "多次指定 '{0}'，因此將會覆寫此使用方式。",

package/package.json

@@ -2,7 +2,7 @@
     "name": "typescript",
     "author": "Microsoft Corp.",
     "homepage": "https://www.typescriptlang.org/",
-    "version": "4.9.0-dev.20220917",
+    "version": "4.9.0-dev.20220919",
     "license": "Apache-2.0",
     "description": "TypeScript is a language for application scale JavaScript development",
     "keywords": [