test-case.patch - OpenGrok cross reference for /arkcompiler/ets

Lines Matching +full:pseudo +full:- +full:random
5 ---
10  .../ambientInsideNonAmbientExternalModule.ts  |   4 +-
21  .../classAbstractAsIdentifier.ts              |   2 +-
22  .../classBody/classWithEmptyBody.ts           |   4 +-
24  .../classWithPredefinedTypesAsNames.ts        |   4 +-
25  .../classWithSemicolonClassElement1.ts        |   3 +-
26  .../classWithSemicolonClassElement2.ts        |   3 +-
27  .../classExpressions/classExpression2.ts      |   4 +-
57  .../classConstructorAccessibility4.ts         |   4 +-
58  ...structorImplementationWithDefaultValues.ts |   6 +-
59  .../declarationEmitReadonly.ts                |   3 +-
61  ...idesIndexersWithAssignmentCompatibility.ts |   4 +-
67  .../typeOfThisInStaticMembers.ts              |   3 +-
91  .../instanceMemberInitialization.ts           |   7 +-
93  .../staticFactory1.ts                         |   3 +-
94  .../staticAndNonStaticPropertiesSameName.ts   |   3 +-
95  .../staticPropertyAndFunctionWithSameName.ts  |   4 +-
100  .../controlFlow/controlFlowElementAccess2.ts  |   2 +-
103  .../controlFlowInstanceofExtendsFunction.ts   |   4 +-
107  .../typeGuardsNestedAssignments.ts            |   3 +-
109  .../declarationEmitWorkWithInlineComments.ts  |   5 +-
110  .../declarationEmitThisPredicates01.ts        |   3 +-
111  ...tionEmitThisPredicatesWithPrivateName01.ts |   3 +-
129  ...tionWithPropertyAccessInHeritageClause1.ts |   4 +-
137  .../comparisonOperatorWithIdenticalObjects.ts |   6 +-
139  ...nshipObjectsOnInstantiatedCallSignature.ts |   4 +-
140  ...jectsOnInstantiatedConstructorSignature.ts |   4 +-
141  ...peratorWithSubtypeObjectOnCallSignature.ts |   3 +-
142  ...WithSubtypeObjectOnConstructorSignature.ts |   3 +-
143  ...eratorWithSubtypeObjectOnIndexSignature.ts |   3 +-
144  ...ubtypeObjectOnInstantiatedCallSignature.ts |   3 +-
145  ...bjectOnInstantiatedConstructorSignature.ts |   3 +-
146  ...isonOperatorWithSubtypeObjectOnProperty.ts |   6 +-
152  .../superCallParameterContextualTyping3.ts    |   3 +-
159  .../typeGuards/typeGuardFunction.ts           |   6 +-
160  .../typeGuards/typeGuardFunctionGenerics.ts   |   4 +-
161  .../typeGuardOfFormExpr1AndExpr2.ts           |   3 +-
162  .../typeGuards/typeGuardOfFormExpr1OrExpr2.ts |   3 +-
163  .../typeGuards/typeGuardOfFormInstanceOf.ts   |  45 +-
164  .../typeGuards/typeGuardOfFormIsType.ts       |   5 +-
171  .../typeGuards/typeGuardsInProperties.ts      |   3 +-
172  .../typeGuards/typeGuardsOnClassProperty.ts   |   3 +-
173  .../bitwiseNotOperatorWithNumberType.ts       |   3 +-
174  .../bitwiseNotOperatorWithStringType.ts       |   3 +-
198  .../mergedInterfacesWithMultipleBases3.ts     |   6 +-
200  .../interfaceWithPropertyOfEveryType.ts       |   3 +-
201  ...duleAndAmbientWithSameNameAndCommonRoot.ts |   1 -
203  ...ionAndNonExportedFunctionThatShareAName.ts |   4 +-
208  .../jsdoc/constructorTagOnClassConstructor.ts |   4 +-
209  ...bclassWithExplicitNoArgumentConstructor.ts |   3 +-
210  .../declarations/jsDeclarationsThisTypes.ts   |   4 +-
284  .../cases/conformance/override/override10.ts  |   3 +-
292  .../conformance/override/override_js1.ts      |   4 +-
294  .../parserClassDeclaration16.ts               |   3 +-
296  .../parserClassDeclaration19.ts               |   3 +-
297  .../parserClassDeclaration20.ts               |   3 +-
298  .../parserClassDeclaration23.ts               |   3 +-
299  .../parserClassDeclaration26.ts               |   3 +-
300  .../parserClassDeclarationIndexSignature1.ts  |   3 +-
301  .../parserConstructorDeclaration1.ts          |   3 +-
302  .../parserConstructorDeclaration5.ts          |   3 +-
309  .../Generics/parserGenericClass1.ts           |   3 +-
310  .../Generics/parserGenericClass2.ts           |   3 +-
311  .../Generics/parserGenericConstraint1.ts      |   3 +-
312  .../parserIndexMemberDeclaration1.ts          |   3 +-
313  .../parserIndexMemberDeclaration2.ts          |   3 +-
314  .../parserIndexMemberDeclaration3.ts          |   3 +-
315  .../parserIndexMemberDeclaration4.ts          |   3 +-
316  .../parserIndexMemberDeclaration6.ts          |   3 +-
317  .../parserMemberVariableDeclaration5.ts       |   3 +-
318  .../ecmascript5/Protected/Protected3.ts       |   3 +-
319  .../ecmascript5/Protected/Protected5.ts       |   3 +-
320  .../ecmascript5/Protected/Protected9.ts       |   3 +-
324  .../parser/ecmascript5/parserUnicode3.ts      |   3 +-
339  .../for-inStatementsAsyncIdentifier.ts        |   4 +
342  .../types/any/anyAsGenericFunctionCall.ts     |   4 +-
343  .../types/any/assignAnyToEveryType.ts         |   4 +-
344  .../types/any/assignEveryTypeToAny.ts         |   4 +-
347  .../types/import/importTypeAmbient.ts         |   5 +-
348  .../types/import/importTypeGenericTypes.ts    |   5 +-
357  .../conformance/types/mapped/mappedTypes3.ts  |   4 +-
359  .../members/classWithProtectedProperty.ts     |   4 +-
361  .../objectTypeHidingMembersOfObject.ts        |   4 +-
363  .../members/objectTypeWithNumericProperty.ts  |   4 +-
365  .../typesWithSpecializedCallSignatures.ts     |   5 +-
366  ...typesWithSpecializedConstructSignatures.ts |   5 +-
367  .../namedTypes/classWithOptionalParameter.ts  |   5 +-
370  ...ureWithoutReturnTypeAnnotationInference.ts |   6 +-
371  .../callSignaturesWithDuplicateParameters.ts  |   4 +-
373  .../callSignaturesWithOptionalParameters2.ts  |   4 +-
374  .../parametersWithNoAnnotationAreAny.ts       |   4 +-
378  .../typeParameterAsTypeArgument.ts            |   4 +-
379  ...WithOverloadsThatDifferOnlyByReturnType.ts |   5 +-
380  .../indexSignatures/numericIndexingResults.ts |   4 +-
382  .../propertyNameWithoutTypeAnnotation.ts      |   4 +-
383  .../propertyNamesOfReservedWords.ts           |   4 +-
384  .../stringNamedPropertyAccess.ts              |   4 +-
385  .../number/extendNumberInterface.ts           |   2 +-
386  .../undefined/invalidUndefinedValues.ts       |   4 +-
387  .../undefined/validUndefinedAssignments.ts    |   4 +-
389  .../typeLiterals/arrayOfFunctionTypes3.ts     |   4 +-
390  .../functionLiteralForOverloads2.ts           |   5 +-
391  .../typeQueries/typeQueryOnClass.ts           |   5 +-
393  .../typeQueries/typeofClass2.ts               |   5 +-
394  .../typeQueries/typeofModuleWithoutExports.ts |   3 +-
407  .../classDoesNotDependOnBaseTypes.ts          |   4 +-
408  .../types/typeAliases/typeAliases.ts          |   4 +-
409  ...allGenericFunctionWithZeroTypeArguments.ts |   5 +-
410  .../functionConstraintSatisfaction.ts         |   5 +-
411  .../functionConstraintSatisfaction3.ts        |   5 +-
412  .../innerTypeParameterShadowingOuterOne2.ts   |   4 +-
413  ...rtyAccessOnTypeParameterWithConstraints.ts |   3 +-
414  ...tyAccessOnTypeParameterWithConstraints2.ts |   7 +-
415  ...tyAccessOnTypeParameterWithConstraints3.ts |   4 +-
416  ...AccessOnTypeParameterWithoutConstraints.ts |   4 +-
418  .../anyAssignabilityInInheritance.ts          |   6 +-
421  .../assignmentCompatWithObjectMembers.ts      |   5 +-
425  ...allSignatureAssignabilityInInheritance2.ts |   6 +-
426  ...allSignatureAssignabilityInInheritance4.ts |   6 +-
427  ...allSignatureAssignabilityInInheritance5.ts |   5 +-
428  ...uctSignatureAssignabilityInInheritance2.ts |   6 +-
429  ...uctSignatureAssignabilityInInheritance4.ts |   5 +-
430  ...uctSignatureAssignabilityInInheritance5.ts |   5 +-
432  .../nullAssignableToEveryType.ts              |   2 +-
434  .../bestCommonTypeOfConditionalExpressions.ts |   5 +-
435  ...bestCommonTypeOfConditionalExpressions2.ts |   4 +-
438  .../arrayLiteralsWithRecursiveGenerics.ts     |   6 +-
439  .../recursiveTypeInGenericConstraint.ts       |   5 +-
440  .../recursiveTypesUsedAsFunctionParameters.ts |   5 +-
442  .../stringLiteralTypeIsSubtypeOfString.ts     |   4 +-
443  .../subtypesAndSuperTypes/subtypesOfAny.ts    |   5 +-
444  ...subtypesOfTypeParameterWithConstraints2.ts |   5 +-
447  .../subtypingWithCallSignatures4.ts           |   6 +-
450  .../subtypingWithConstructSignatures4.ts      |   6 +-
451  .../subtypingWithConstructSignatures5.ts      |   6 +-
452  .../subtypingWithObjectMembers4.ts            |   6 +-
454  .../objectTypesIdentity.ts                    |   6 +-
455  .../objectTypesIdentity2.ts                   |   5 +-
456  .../objectTypesIdentityWithCallSignatures.ts  |   5 +-
457  .../objectTypesIdentityWithCallSignatures2.ts |   5 +-
458  ...yWithCallSignaturesDifferingParamCounts.ts |   5 +-
459  ...IdentityWithCallSignaturesWithOverloads.ts |   6 +-
460  ...ectTypesIdentityWithConstructSignatures.ts |   6 +-
461  ...ctTypesIdentityWithConstructSignatures2.ts |   4 +-
462  ...ConstructSignaturesDifferingParamCounts.ts |   4 +-
463  ...tTypesIdentityWithGenericCallSignatures.ts |   6 +-
464  ...TypesIdentityWithGenericCallSignatures2.ts |   6 +-
465  ...ricCallSignaturesDifferingByConstraints.ts |   6 +-
466  ...icCallSignaturesDifferingByConstraints2.ts |   6 +-
467  ...icCallSignaturesDifferingByConstraints3.ts |   9 +-
468  ...ericCallSignaturesDifferingByReturnType.ts |   5 +-
469  ...ricCallSignaturesDifferingByReturnType2.ts |   6 +-
470  ...lSignaturesDifferingTypeParameterCounts.ts |   6 +-
471  ...llSignaturesDifferingTypeParameterNames.ts |   5 +-
472  ...WithGenericCallSignaturesOptionalParams.ts |   5 +-
473  ...ithGenericCallSignaturesOptionalParams2.ts |   5 +-
474  ...ithGenericCallSignaturesOptionalParams3.ts |   6 +-
476  ...structSignaturesDifferingByConstraints2.ts |   7 +-
477  ...structSignaturesDifferingByConstraints3.ts |   7 +-
478  ...onstructSignaturesDifferingByReturnType.ts |   4 +-
479  ...nstructSignaturesDifferingByReturnType2.ts |   6 +-
480  ...tSignaturesDifferingTypeParameterCounts.ts |   4 +-
481  ...ctSignaturesDifferingTypeParameterNames.ts |   6 +-
482  ...enericConstructSignaturesOptionalParams.ts |   5 +-
483  ...nericConstructSignaturesOptionalParams2.ts |   5 +-
484  ...nericConstructSignaturesOptionalParams3.ts |   4 +-
488  .../objectTypesIdentityWithOptionality.ts     |   6 +-
489  .../objectTypesIdentityWithPrivates.ts        |   4 +-
491  .../objectTypesIdentityWithPublics.ts         |   5 +-
494  .../typeParametersAreIdenticalToThemselves.ts |   4 +-
496  .../genericCallWithFunctionTypedArguments4.ts |   4 +-
497  .../genericCallWithObjectTypeArgs2.ts         |   4 +-
498  ...ricCallWithObjectTypeArgsAndConstraints.ts |  10 +-
500  ...icClassWithObjectTypeArgsAndConstraints.ts |   7 +-
503  497 files changed, 8097 insertions(+), 197 deletions(-)
700 …create mode 100644 tests/cases/conformance/statements/for-inStatements/for-inStatementsAsyncIdenti…
713 diff --git a/tests/cases/conformance/ambient/ambientDeclarations.ts b/tests/cases/conformance/ambie…
715 --- a/tests/cases/conformance/ambient/ambientDeclarations.ts
717 @@ -73,3 +73,4 @@ declare module 'external1' {
723 diff --git a/tests/cases/conformance/ambient/ambientDeclarationsPatterns/ambientDeclarationsPattern…
726 --- /dev/null
728 @@ -0,0 +1,11 @@
741 diff --git a/tests/cases/conformance/ambient/ambientDeclarationsPatterns/declarations.d.ts b/tests/…
744 --- /dev/null
746 @@ -0,0 +1,18 @@
765 diff --git a/tests/cases/conformance/ambient/ambientInsideNonAmbient.ts b/tests/cases/conformance/a…
767 --- a/tests/cases/conformance/ambient/ambientInsideNonAmbient.ts
769 @@ -4,6 +4,7 @@ module M {
777 @@ -12,4 +13,5 @@ module M2 {
784 diff --git a/tests/cases/conformance/ambient/ambientInsideNonAmbientExternalModule.ts b/tests/cases…
786 --- a/tests/cases/conformance/ambient/ambientInsideNonAmbientExternalModule.ts
788 @@ -3,4 +3,6 @@ export declare var x;
792 -export declare module M { }
797 diff --git a/tests/cases/conformance/ambient/ambientShorthand_merging/ambientShorthand_merging.ts b…
800 --- /dev/null
802 @@ -0,0 +1,6 @@
809 diff --git a/tests/cases/conformance/ambient/ambientShorthand_merging/declarations1.d.ts b/tests/ca…
812 --- /dev/null
814 @@ -0,0 +1,2 @@
817 diff --git a/tests/cases/conformance/ambient/ambientShorthand_merging/declarations2.d.ts b/tests/ca…
820 --- /dev/null
822 @@ -0,0 +1,4 @@
828 diff --git a/tests/cases/conformance/ambient/ambientShorthand_reExport/ambientShorthand_reExport.ts…
831 --- /dev/null
833 @@ -0,0 +1,5 @@
839 diff --git a/tests/cases/conformance/ambient/ambientShorthand_reExport/declarations.d.ts b/tests/ca…
842 --- /dev/null
844 @@ -0,0 +1,2 @@
848 diff --git a/tests/cases/conformance/ambient/ambientShorthand_reExport/jquery.d.ts b/tests/cases/co…
851 --- /dev/null
853 @@ -0,0 +1,2 @@
857 diff --git a/tests/cases/conformance/ambient/ambientShorthand_reExport/reExportAll.ts b/tests/cases…
860 --- /dev/null
862 @@ -0,0 +1,2 @@
866 diff --git a/tests/cases/conformance/ambient/ambientShorthand_reExport/reExportX.ts b/tests/cases/c…
869 --- /dev/null
871 @@ -0,0 +1,2 @@
875 diff --git a/tests/cases/conformance/async/es5/asyncMethodWithSuper_es5.ts b/tests/cases/conformanc…
877 --- a/tests/cases/conformance/async/es5/asyncMethodWithSuper_es5.ts
879 @@ -55,3 +55,4 @@ class B extends A {
884 diff --git a/tests/cases/conformance/async/es6/functionDeclarations/asyncOrYieldAsBindingIdentifier…
887 --- /dev/null
889 @@ -0,0 +1,49 @@
940 diff --git a/tests/cases/conformance/classes/classDeclarations/classAbstractKeyword/classAbstractAs…
942 --- a/tests/cases/conformance/classes/classDeclarations/classAbstractKeyword/classAbstractAsIdentif…
944 @@ -1,5 +1,5 @@
948 -
952 diff --git a/tests/cases/conformance/classes/classDeclarations/classBody/classWithEmptyBody.ts b/te…
954 --- a/tests/cases/conformance/classes/classDeclarations/classBody/classWithEmptyBody.ts
956 @@ -17,4 +17,6 @@ var d: D;
960 -d = () => { }
966 diff --git a/tests/cases/conformance/classes/classDeclarations/classInsideBlock.ts b/tests/cases/co…
968 --- a/tests/cases/conformance/classes/classDeclarations/classInsideBlock.ts
970 @@ -1,3 +1,4 @@
976 diff --git a/tests/cases/conformance/classes/classDeclarations/classWithPredefinedTypesAsNames.ts b…
978 --- a/tests/cases/conformance/classes/classDeclarations/classWithPredefinedTypesAsNames.ts
980 @@ -3,4 +3,6 @@
984 -class string { }
990 diff --git a/tests/cases/conformance/classes/classDeclarations/classWithSemicolonClassElement1.ts b…
992 --- a/tests/cases/conformance/classes/classDeclarations/classWithSemicolonClassElement1.ts
994 @@ -1,3 +1,4 @@
997 -}
1002 diff --git a/tests/cases/conformance/classes/classDeclarations/classWithSemicolonClassElement2.ts b…
1004 --- a/tests/cases/conformance/classes/classDeclarations/classWithSemicolonClassElement2.ts
1006 @@ -1,4 +1,5 @@
1010 -}
1015 diff --git a/tests/cases/conformance/classes/classExpressions/classExpression2.ts b/tests/cases/con…
1017 --- a/tests/cases/conformance/classes/classExpressions/classExpression2.ts
1019 @@ -1,2 +1,4 @@
1021 -var v = class C extends D {};
1027 diff --git a/tests/cases/conformance/classes/classStaticBlock/classStaticBlock1.ts b/tests/cases/co…
1030 --- /dev/null
1032 @@ -0,0 +1,11 @@
1044 diff --git a/tests/cases/conformance/classes/classStaticBlock/classStaticBlock10.ts b/tests/cases/c…
1047 --- /dev/null
1049 @@ -0,0 +1,30 @@
1081 diff --git a/tests/cases/conformance/classes/classStaticBlock/classStaticBlock11.ts b/tests/cases/c…
1084 --- /dev/null
1086 @@ -0,0 +1,15 @@
1102 diff --git a/tests/cases/conformance/classes/classStaticBlock/classStaticBlock12.ts b/tests/cases/c…
1105 --- /dev/null
1107 @@ -0,0 +1,10 @@
1118 diff --git a/tests/cases/conformance/classes/classStaticBlock/classStaticBlock13.ts b/tests/cases/c…
1121 --- /dev/null
1123 @@ -0,0 +1,14 @@
1138 diff --git a/tests/cases/conformance/classes/classStaticBlock/classStaticBlock14.ts b/tests/cases/c…
1141 --- /dev/null
1143 @@ -0,0 +1,15 @@
1159 diff --git a/tests/cases/conformance/classes/classStaticBlock/classStaticBlock15.ts b/tests/cases/c…
1162 --- /dev/null
1164 @@ -0,0 +1,18 @@
1183 diff --git a/tests/cases/conformance/classes/classStaticBlock/classStaticBlock16.ts b/tests/cases/c…
1186 --- /dev/null
1188 @@ -0,0 +1,26 @@
1216 diff --git a/tests/cases/conformance/classes/classStaticBlock/classStaticBlock17.ts b/tests/cases/c…
1219 --- /dev/null
1221 @@ -0,0 +1,33 @@
1256 diff --git a/tests/cases/conformance/classes/classStaticBlock/classStaticBlock18.ts b/tests/cases/c…
1259 --- /dev/null
1261 @@ -0,0 +1,15 @@
1277 diff --git a/tests/cases/conformance/classes/classStaticBlock/classStaticBlock19.ts b/tests/cases/c…
1280 --- /dev/null
1282 @@ -0,0 +1,6 @@
1289 diff --git a/tests/cases/conformance/classes/classStaticBlock/classStaticBlock2.ts b/tests/cases/co…
1292 --- /dev/null
1294 @@ -0,0 +1,20 @@
1315 diff --git a/tests/cases/conformance/classes/classStaticBlock/classStaticBlock20.ts b/tests/cases/c…
1318 --- /dev/null
1320 @@ -0,0 +1,13 @@
1334 diff --git a/tests/cases/conformance/classes/classStaticBlock/classStaticBlock21.ts b/tests/cases/c…
1337 --- /dev/null
1339 @@ -0,0 +1,7 @@
1348 diff --git a/tests/cases/conformance/classes/classStaticBlock/classStaticBlock22.ts b/tests/cases/c…
1351 --- /dev/null
1353 @@ -0,0 +1,72 @@
1427 diff --git a/tests/cases/conformance/classes/classStaticBlock/classStaticBlock23.ts b/tests/cases/c…
1430 --- /dev/null
1432 @@ -0,0 +1,21 @@
1455 diff --git a/tests/cases/conformance/classes/classStaticBlock/classStaticBlock24.ts b/tests/cases/c…
1458 --- /dev/null
1460 @@ -0,0 +1,8 @@
1469 diff --git a/tests/cases/conformance/classes/classStaticBlock/classStaticBlock25.ts b/tests/cases/c…
1472 --- /dev/null
1474 @@ -0,0 +1,23 @@
1498 diff --git a/tests/cases/conformance/classes/classStaticBlock/classStaticBlock26.ts b/tests/cases/c…
1501 --- /dev/null
1503 @@ -0,0 +1,30 @@
1522 +        ({ await }); // illegal short-hand property reference
1534 diff --git a/tests/cases/conformance/classes/classStaticBlock/classStaticBlock27.ts b/tests/cases/c…
1537 --- /dev/null
1539 @@ -0,0 +1,17 @@
1557 diff --git a/tests/cases/conformance/classes/classStaticBlock/classStaticBlock3.ts b/tests/cases/co…
1560 --- /dev/null
1562 @@ -0,0 +1,19 @@
1582 diff --git a/tests/cases/conformance/classes/classStaticBlock/classStaticBlock4.ts b/tests/cases/co…
1585 --- /dev/null
1587 @@ -0,0 +1,16 @@
1604 diff --git a/tests/cases/conformance/classes/classStaticBlock/classStaticBlock5.ts b/tests/cases/co…
1607 --- /dev/null
1609 @@ -0,0 +1,19 @@
1629 diff --git a/tests/cases/conformance/classes/classStaticBlock/classStaticBlock6.ts b/tests/cases/co…
1632 --- /dev/null
1634 @@ -0,0 +1,62 @@
1697 diff --git a/tests/cases/conformance/classes/classStaticBlock/classStaticBlock7.ts b/tests/cases/co…
1700 --- /dev/null
1702 @@ -0,0 +1,43 @@
1746 diff --git a/tests/cases/conformance/classes/classStaticBlock/classStaticBlock8.ts b/tests/cases/co…
1749 --- /dev/null
1751 @@ -0,0 +1,48 @@
1800 diff --git a/tests/cases/conformance/classes/classStaticBlock/classStaticBlock9.ts b/tests/cases/co…
1803 --- /dev/null
1805 @@ -0,0 +1,8 @@
1814 diff --git a/tests/cases/conformance/classes/classStaticBlock/classStaticBlockUseBeforeDef1.ts b/te…
1817 --- /dev/null
1819 @@ -0,0 +1,15 @@
1836 diff --git a/tests/cases/conformance/classes/classStaticBlock/classStaticBlockUseBeforeDef2.ts b/te…
1839 --- /dev/null
1841 @@ -0,0 +1,10 @@
1853 diff --git a/tests/cases/conformance/classes/constructorDeclarations/classConstructorAccessibility4…
1855 --- a/tests/cases/conformance/classes/constructorDeclarations/classConstructorAccessibility4.ts
1857 @@ -14,6 +14,7 @@ class A {
1865 @@ -28,4 +29,5 @@ class D {
1869 -}
1874 diff --git a/tests/cases/conformance/classes/constructorDeclarations/constructorParameters/construc…
1876 --- a/tests/cases/conformance/classes/constructorDeclarations/constructorParameters/constructorImpl…
1878 @@ -17,4 +17,8 @@ class E<T extends Date> {
1882 -}
1890 diff --git a/tests/cases/conformance/classes/constructorDeclarations/constructorParameters/declarat…
1892 --- a/tests/cases/conformance/classes/constructorDeclarations/constructorParameters/declarationEmit…
1894 @@ -2,4 +2,5 @@
1898 -}
1903 diff --git a/tests/cases/conformance/classes/constructorDeclarations/quotedConstructors.ts b/tests/…
1905 --- a/tests/cases/conformance/classes/constructorDeclarations/quotedConstructors.ts
1907 @@ -29,3 +29,7 @@ class F {
1916 diff --git a/tests/cases/conformance/classes/members/inheritanceAndOverriding/derivedClassOverrides…
1918 --- a/tests/cases/conformance/classes/members/inheritanceAndOverriding/derivedClassOverridesIndexer…
1920 @@ -14,4 +14,6 @@ class Base2 {
1924 -}
1930 diff --git a/tests/cases/conformance/classes/members/instanceAndStaticMembers/superInStaticMembers1…
1933 --- /dev/null
1935 @@ -0,0 +1,492 @@
1952 +            var Reflect; // collision (es2015-es2021 only)
1956 +            var { Reflect } = { Reflect: null }; // collision (es2015-es2021 only)
1960 +            var [Reflect] = [null]; // collision (es2015-es2021 only)
1964 +            class Reflect {} // collision (es2015-es2021 only)
1968 +            function Reflect() {} // collision (es2015-es2021 only)
1972 +            enum Reflect {} // collision (es2015-es2021 only)
1976 +            const enum Reflect {} // collision (es2015-es2021 only)
1998 +        var { Reflect } = { Reflect: null }; // collision (es2015-es2021 only)
2003 +        var [Reflect] = [null]; // collision (es2015-es2021 only)
2008 +        var Reflect; // collision (es2015-es2021 only)
2013 +        class Reflect {} // collision (es2015-es2021 only)
2018 +        function Reflect() {} // collision (es2015-es2021 only)
2023 +        enum Reflect {} // collision (es2015-es2021 only)
2028 +        const enum Reflect {} // collision (es2015-es2021 only)
2056 +var Reflect = null; // collision (es2015-es2021 only)
2064 +var { Reflect } = { Reflect: null }; // collision (es2015-es2021 only)
2072 +var [Reflect] = [null]; // collision (es2015-es2021 only)
2080 +var Reflect = null; // collision (es2015-es2021 only)
2088 +var { Reflect } = { Reflect: null }; // collision (es2015-es2021 only)
2096 +var [Reflect] = [null]; // collision (es2015-es2021 only)
2104 +class Reflect {} // collision (es2015-es2021 only)
2112 +class Reflect {} // collision (es2015-es2021 only)
2120 +function Reflect() {} // collision (es2015-es2021 only)
2128 +function Reflect() {} // collision (es2015-es2021 only)
2136 +namespace Reflect {} // collision (es2015-es2021 only)
2144 +namespace Reflect {} // collision (es2015-es2021 only)
2152 +enum Reflect {} // collision (es2015-es2021 only)
2160 +enum Reflect {} // collision (es2015-es2021 only)
2168 +const enum Reflect {} // collision (es2015-es2021 only)
2176 +const enum Reflect {} // collision (es2015-es2021 only)
2184 +import * as Reflect from "./external"; // collision (es2015-es2021 only)
2192 +import * as Reflect from "./external"; // collision (es2015-es2021 only)
2200 +import { Reflect } from "./external"; // collision (es2015-es2021 only)
2208 +import { Reflect } from "./external"; // collision (es2015-es2021 only)
2216 +import { Foo as Reflect } from "./external"; // collision (es2015-es2021 only, not a type-only imp…
2224 +import { Foo as Reflect } from "./external"; // collision (es2015-es2021 only, not a type-only imp…
2232 +import { Bar as Reflect } from "./external"; // collision (es2015-es2021 only, not a type-only imp…
2240 +import { Bar as Reflect } from "./external"; // collision (es2015-es2021 only, not a type-only imp…
2248 +import { Baz as Reflect } from "./external"; // collision (es2015-es2021 only)
2256 +import { Baz as Reflect } from "./external"; // collision (es2015-es2021 only)
2280 +import Reflect from "./external"; // collision (es2015-es2021 only)
2288 +import Reflect from "./external"; // collision (es2015-es2021 only)
2376 +(class Reflect { // collision (es2015-es2021 only)
2387 +(class Reflect { // collision (es2015-es2021 only)
2414 +(function Reflect() { // collision (es2015-es2021 only)
2423 +(function Reflect() { // collision (es2015-es2021 only)
2428 diff --git a/tests/cases/conformance/classes/members/instanceAndStaticMembers/thisAndSuperInStaticM…
2431 --- /dev/null
2433 @@ -0,0 +1,42 @@
2466 +    static z15 = --super.a;
2477 diff --git a/tests/cases/conformance/classes/members/instanceAndStaticMembers/thisAndSuperInStaticM…
2480 --- /dev/null
2482 @@ -0,0 +1,42 @@
2515 +    static z15 = --super.a;
2526 diff --git a/tests/cases/conformance/classes/members/instanceAndStaticMembers/thisAndSuperInStaticM…
2529 --- /dev/null
2531 @@ -0,0 +1,26 @@
2559 diff --git a/tests/cases/conformance/classes/members/instanceAndStaticMembers/thisAndSuperInStaticM…
2562 --- /dev/null
2564 @@ -0,0 +1,26 @@
2592 diff --git a/tests/cases/conformance/classes/members/instanceAndStaticMembers/typeOfThisInStaticMem…
2594 --- a/tests/cases/conformance/classes/members/instanceAndStaticMembers/typeOfThisInStaticMembers.ts
2596 @@ -30,4 +30,5 @@ var t2 = C2.bar();
2600 -
2603 diff --git a/tests/cases/conformance/classes/members/instanceAndStaticMembers/typeOfThisInStaticMem…
2606 --- /dev/null
2608 @@ -0,0 +1,51 @@
2660 diff --git a/tests/cases/conformance/classes/members/instanceAndStaticMembers/typeOfThisInStaticMem…
2663 --- /dev/null
2665 @@ -0,0 +1,51 @@
2717 diff --git a/tests/cases/conformance/classes/members/instanceAndStaticMembers/typeOfThisInStaticMem…
2720 --- /dev/null
2722 @@ -0,0 +1,10 @@
2733 diff --git a/tests/cases/conformance/classes/members/instanceAndStaticMembers/typeOfThisInStaticMem…
2736 --- /dev/null
2738 @@ -0,0 +1,10 @@
2749 diff --git a/tests/cases/conformance/classes/members/instanceAndStaticMembers/typeOfThisInStaticMem…
2752 --- /dev/null
2754 @@ -0,0 +1,12 @@
2767 diff --git a/tests/cases/conformance/classes/members/instanceAndStaticMembers/typeOfThisInStaticMem…
2770 --- /dev/null
2772 @@ -0,0 +1,12 @@
2785 diff --git a/tests/cases/conformance/classes/members/instanceAndStaticMembers/typeOfThisInStaticMem…
2788 --- /dev/null
2790 @@ -0,0 +1,9 @@
2800 diff --git a/tests/cases/conformance/classes/members/instanceAndStaticMembers/typeOfThisInStaticMem…
2803 --- /dev/null
2805 @@ -0,0 +1,7 @@
2813 diff --git a/tests/cases/conformance/classes/members/instanceAndStaticMembers/typeOfThisInStaticMem…
2816 --- /dev/null
2818 @@ -0,0 +1,12 @@
2831 diff --git a/tests/cases/conformance/classes/members/instanceAndStaticMembers/typeOfThisInStaticMem…
2834 --- /dev/null
2836 @@ -0,0 +1,19 @@
2856 diff --git a/tests/cases/conformance/classes/members/instanceAndStaticMembers/typeOfThisInStaticMem…
2859 --- /dev/null
2861 @@ -0,0 +1,22 @@
2884 diff --git a/tests/cases/conformance/classes/members/privateNames/privateNameComputedPropertyName3.…
2886 --- a/tests/cases/conformance/classes/members/privateNames/privateNameComputedPropertyName3.ts
2888 @@ -23,3 +23,5 @@ class Foo {
2895 diff --git a/tests/cases/conformance/classes/members/privateNames/privateNameFieldAccess.ts b/tests…
2897 --- a/tests/cases/conformance/classes/members/privateNames/privateNameFieldAccess.ts
2899 @@ -6,3 +6,4 @@ class A {
2904 diff --git a/tests/cases/conformance/classes/members/privateNames/privateNameHashCharName.ts b/test…
2907 --- /dev/null
2909 @@ -0,0 +1,11 @@
2921 diff --git a/tests/cases/conformance/classes/members/privateNames/privateNameInInExpression.ts b/te…
2924 --- /dev/null
2926 @@ -0,0 +1,119 @@
2951 +        const a = #field in (v as unknown); // Bad - RHS of in must be object type or any
2953 +        const b = #fiel in v; // Bad - typo in privateID
2955 +        const c = (#field) in v; // Bad - privateID is not an expression on its own
2957 +        for (#field in v) { /**/ } // Bad - 'in' not allowed
2959 +        for (let d in #field in v) { /**/ } // Bad - rhs of in should be a object/any
3044 +    return #field in v; // Bad - outside of class
3046 diff --git a/tests/cases/conformance/classes/members/privateNames/privateNameInInExpressionTransfor…
3049 --- /dev/null
3051 @@ -0,0 +1,47 @@
3099 diff --git a/tests/cases/conformance/classes/members/privateNames/privateNameInInExpressionUnused.t…
3102 --- /dev/null
3104 @@ -0,0 +1,13 @@
3118 diff --git a/tests/cases/conformance/classes/members/privateNames/privateNamesIncompatibleModifiers…
3121 --- /dev/null
3123 @@ -0,0 +1,65 @@
3189 diff --git a/tests/cases/conformance/classes/mixinClassesAnnotated.ts b/tests/cases/conformance/cla…
3191 --- a/tests/cases/conformance/classes/mixinClassesAnnotated.ts
3193 @@ -36,6 +36,7 @@ function Tagged<T extends Constructor<{}>>(superClass: T): Constructor<Tagged> &
3201 @@ -65,3 +66,5 @@ class Thing3 extends Thing2 {
3208 diff --git a/tests/cases/conformance/classes/mixinClassesAnonymous.ts b/tests/cases/conformance/cla…
3210 --- a/tests/cases/conformance/classes/mixinClassesAnonymous.ts
3212 @@ -62,3 +62,5 @@ const Timestamped = <CT extends Constructor<object>>(Base: CT) => {
3219 diff --git a/tests/cases/conformance/classes/mixinClassesMembers.ts b/tests/cases/conformance/class…
3221 --- a/tests/cases/conformance/classes/mixinClassesMembers.ts
3223 @@ -97,3 +97,8 @@ class C3 extends Mixed3 {
3233 diff --git a/tests/cases/conformance/classes/propertyMemberDeclarations/abstractProperty.ts b/tests…
3235 --- a/tests/cases/conformance/classes/propertyMemberDeclarations/abstractProperty.ts
3237 @@ -14,3 +14,6 @@ class B extends A {
3244 diff --git a/tests/cases/conformance/classes/propertyMemberDeclarations/abstractPropertyInitializer…
3247 --- /dev/null
3249 @@ -0,0 +1,5 @@
3255 diff --git a/tests/cases/conformance/classes/propertyMemberDeclarations/instanceMemberInitializatio…
3257 --- a/tests/cases/conformance/classes/propertyMemberDeclarations/instanceMemberInitialization.ts
3259 @@ -4,8 +4,8 @@ class C {
3263 -var c2 = new C();
3264 -var r = c.x === c2.x;
3270 @@ -14,4 +14,5 @@ var r = c.x === c2.x;
3274 -}
3279 diff --git a/tests/cases/conformance/classes/propertyMemberDeclarations/instanceMemberWithComputedP…
3281 --- a/tests/cases/conformance/classes/propertyMemberDeclarations/instanceMemberWithComputedProperty…
3283 @@ -6,3 +6,4 @@ const x = 1;
3289 diff --git a/tests/cases/conformance/classes/propertyMemberDeclarations/memberFunctionDeclarations/…
3291 --- a/tests/cases/conformance/classes/propertyMemberDeclarations/memberFunctionDeclarations/staticF…
3293 @@ -10,4 +10,5 @@ class Derived extends Base {
3297 -d.foo();  
3302 diff --git a/tests/cases/conformance/classes/propertyMemberDeclarations/staticAndNonStaticPropertie…
3304 --- a/tests/cases/conformance/classes/propertyMemberDeclarations/staticAndNonStaticPropertiesSameNa…
3306 @@ -4,4 +4,5 @@ class C {
3310 -}
3315 diff --git a/tests/cases/conformance/classes/propertyMemberDeclarations/staticPropertyAndFunctionWi…
3317 --- a/tests/cases/conformance/classes/propertyMemberDeclarations/staticPropertyAndFunctionWithSameN…
3319 @@ -6,4 +6,6 @@ class C {
3323 -}
3329 diff --git a/tests/cases/conformance/classes/propertyMemberDeclarations/staticPropertyNameConflicts…
3331 --- a/tests/cases/conformance/classes/propertyMemberDeclarations/staticPropertyNameConflictsInAmbie…
3333 @@ -54,3 +54,13 @@ declare class StaticArgumentsFn {
3348 diff --git a/tests/cases/conformance/controlFlow/assertionTypePredicates2.ts b/tests/cases/conforma…
3351 --- /dev/null
3353 @@ -0,0 +1,27 @@
3381 diff --git a/tests/cases/conformance/controlFlow/controlFlowAliasing.ts b/tests/cases/conformance/c…
3384 --- /dev/null
3386 @@ -0,0 +1,285 @@
3672 diff --git a/tests/cases/conformance/controlFlow/controlFlowAliasingCatchVariables.ts b/tests/cases…
3675 --- /dev/null
3677 @@ -0,0 +1,28 @@
3706 diff --git a/tests/cases/conformance/controlFlow/controlFlowElementAccess2.ts b/tests/cases/conform…
3708 --- a/tests/cases/conformance/controlFlow/controlFlowElementAccess2.ts
3710 @@ -10,4 +10,4 @@ if (typeof config['works'] !== 'boolean') {
3714 -}
3717 diff --git a/tests/cases/conformance/controlFlow/controlFlowForInStatement2.ts b/tests/cases/confor…
3720 --- /dev/null
3722 @@ -0,0 +1,25 @@
3749 diff --git a/tests/cases/conformance/controlFlow/controlFlowInOperator.ts b/tests/cases/conformance…
3752 --- /dev/null
3754 @@ -0,0 +1,26 @@
3781 diff --git a/tests/cases/conformance/controlFlow/controlFlowInstanceofExtendsFunction.ts b/tests/ca…
3783 --- a/tests/cases/conformance/controlFlow/controlFlowInstanceofExtendsFunction.ts
3785 @@ -29,4 +29,6 @@ export const x: X | number = Math.random() > 0.5 ? new X() : 1
3789 -}
3795 diff --git a/tests/cases/conformance/controlFlow/controlFlowSuperPropertyAccess.ts b/tests/cases/co…
3797 --- a/tests/cases/conformance/controlFlow/controlFlowSuperPropertyAccess.ts
3799 @@ -7,3 +7,4 @@ class C extends B {
3805 diff --git a/tests/cases/conformance/controlFlow/controlFlowTypeofObject.ts b/tests/cases/conforman…
3808 --- /dev/null
3810 @@ -0,0 +1,71 @@
3882 diff --git a/tests/cases/conformance/controlFlow/dependentDestructuredVariables.ts b/tests/cases/co…
3885 --- /dev/null
3887 @@ -0,0 +1,161 @@
4038 +            return state - payload.toRemove;
4049 diff --git a/tests/cases/conformance/controlFlow/typeGuardsNestedAssignments.ts b/tests/cases/confo…
4051 --- a/tests/cases/conformance/controlFlow/typeGuardsNestedAssignments.ts
4053 @@ -44,4 +44,5 @@ let match: RegExpExecArray | null
4057 -}
4062 diff --git a/tests/cases/conformance/controlFlow/typeGuardsTypeParameters.ts b/tests/cases/conforma…
4064 --- a/tests/cases/conformance/controlFlow/typeGuardsTypeParameters.ts
4066 @@ -33,3 +33,4 @@ function fun<T>(item: { [P in keyof T]: T[P] }) {
4072 diff --git a/tests/cases/conformance/declarationEmit/declarationEmitWorkWithInlineComments.ts b/tes…
4074 --- a/tests/cases/conformance/declarationEmit/declarationEmitWorkWithInlineComments.ts
4076 @@ -34,4 +34,7 @@ export class Baz {
4080 -}
4087 diff --git a/tests/cases/conformance/declarationEmit/typePredicates/declarationEmitThisPredicates01…
4089 --- a/tests/cases/conformance/declarationEmit/typePredicates/declarationEmitThisPredicates01.ts
4091 @@ -8,4 +8,5 @@ export class C {
4095 -}
4100 diff --git a/tests/cases/conformance/declarationEmit/typePredicates/declarationEmitThisPredicatesWi…
4102 --- a/tests/cases/conformance/declarationEmit/typePredicates/declarationEmitThisPredicatesWithPriva…
4104 @@ -8,4 +8,5 @@ export class C {
4108 -}
4113 diff --git a/tests/cases/conformance/declarationEmit/typeReferenceRelatedFiles/fs.d.ts b/tests/case…
4116 --- /dev/null
4118 @@ -0,0 +1,5 @@
4125 diff --git a/tests/cases/conformance/declarationEmit/typeReferenceRelatedFiles/main.ts b/tests/case…
4128 --- /dev/null
4130 @@ -0,0 +1,2 @@
4134 diff --git a/tests/cases/conformance/declarationEmit/typeReferenceRelatedFiles/package.json b/tests…
4137 --- /dev/null
4139 @@ -0,0 +1,4 @@
4145 diff --git a/tests/cases/conformance/declarationEmit/typeReferenceRelatedFiles/typeReferenceRelated…
4148 --- /dev/null
4150 @@ -0,0 +1,18 @@
4169 diff --git a/tests/cases/conformance/decorators/class/constructor/parameter/decoratorOnClassConstru…
4172 --- /dev/null
4174 @@ -0,0 +1,15 @@
4184 +    static readonly Schema = 'vscode-bulkeditpreview';
4191 diff --git a/tests/cases/conformance/decorators/class/decoratedBlockScopedClass1.ts b/tests/cases/c…
4194 --- /dev/null
4196 @@ -0,0 +1,16 @@
4213 diff --git a/tests/cases/conformance/decorators/class/decoratedBlockScopedClass2.ts b/tests/cases/c…
4216 --- /dev/null
4218 @@ -0,0 +1,19 @@
4238 diff --git a/tests/cases/conformance/decorators/class/decoratedBlockScopedClass3.ts b/tests/cases/c…
4241 --- /dev/null
4243 @@ -0,0 +1,27 @@
4271 diff --git a/tests/cases/conformance/decorators/class/method/decoratorOnClassMethod14.ts b/tests/ca…
4274 --- /dev/null
4276 @@ -0,0 +1,14 @@
4291 diff --git a/tests/cases/conformance/decorators/class/method/decoratorOnClassMethod15.ts b/tests/ca…
4294 --- /dev/null
4296 @@ -0,0 +1,12 @@
4309 diff --git a/tests/cases/conformance/decorators/class/method/decoratorOnClassMethod16.ts b/tests/ca…
4312 --- /dev/null
4314 @@ -0,0 +1,12 @@
4327 diff --git a/tests/cases/conformance/decorators/class/method/decoratorOnClassMethod17.ts b/tests/ca…
4330 --- /dev/null
4332 @@ -0,0 +1,11 @@
4344 diff --git a/tests/cases/conformance/decorators/class/method/decoratorOnClassMethod18.ts b/tests/ca…
4347 --- /dev/null
4349 @@ -0,0 +1,11 @@
4361 diff --git a/tests/cases/conformance/decorators/decoratorMetadataWithTypeOnlyImport2.ts b/tests/cas…
4364 --- /dev/null
4366 @@ -0,0 +1,17 @@
4384 diff --git a/tests/cases/conformance/emitter/es2015/asyncGenerators/emitter.asyncGenerators.classMe…
4386 --- a/tests/cases/conformance/emitter/es2015/asyncGenerators/emitter.asyncGenerators.classMethods.e…
4388 @@ -58,3 +58,14 @@ class C9 extends B9 {
4403 diff --git a/tests/cases/conformance/es2018/es2018IntlAPIs.ts b/tests/cases/conformance/es2018/es20…
4406 --- /dev/null
4408 @@ -0,0 +1,7 @@
4412 +// https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Intl/PluralRul…
4413 +const locales = ['ban', 'id-u-co-pinyin', 'de-ID'];
4417 diff --git a/tests/cases/conformance/es2020/es2020IntlAPIs.ts b/tests/cases/conformance/es2020/es20…
4420 --- /dev/null
4422 @@ -0,0 +1,45 @@
4425 +// https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Intl#Locale_id…
4427 +const date = new Date("2012-05-24");
4435 +log("en-US");
4438 +log("de-DE");
4441 +// https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Intl/RelativeT…
4447 +console.log(rtf1.format(-1, 'day'));
4455 +// https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Intl/DisplayNa…
4457 +const regionNamesInTraditionalChinese = new Intl.DisplayNames(['zh-Hant'], { type: 'region' });
4465 +const locales1 = ['ban', 'id-u-co-pinyin', 'de-ID'];
4469 diff --git a/tests/cases/conformance/es6/classDeclaration/emitClassDeclarationWithPropertyAccessInH…
4471 --- a/tests/cases/conformance/es6/classDeclaration/emitClassDeclarationWithPropertyAccessInHeritage…
4473 @@ -2,4 +2,6 @@ class B {}
4477 -class C extends (foo()).B {}
4483 diff --git a/tests/cases/conformance/es6/classDeclaration/superCallBeforeThisAccessing1.ts b/tests/…
4485 --- a/tests/cases/conformance/es6/classDeclaration/superCallBeforeThisAccessing1.ts
4487 @@ -13,3 +13,4 @@ class D extends Base {
4493 diff --git a/tests/cases/conformance/es6/classDeclaration/superCallBeforeThisAccessing2.ts b/tests/…
4495 --- a/tests/cases/conformance/es6/classDeclaration/superCallBeforeThisAccessing2.ts
4497 @@ -7,3 +7,4 @@ class D extends Base {
4503 diff --git a/tests/cases/conformance/es6/classDeclaration/superCallBeforeThisAccessing5.ts b/tests/…
4505 --- a/tests/cases/conformance/es6/classDeclaration/superCallBeforeThisAccessing5.ts
4507 @@ -4,3 +4,4 @@
4513 diff --git a/tests/cases/conformance/es6/classDeclaration/superCallBeforeThisAccessing8.ts b/tests/…
4515 --- a/tests/cases/conformance/es6/classDeclaration/superCallBeforeThisAccessing8.ts
4517 @@ -10,3 +10,4 @@ class D extends Base {
4523 diff --git a/tests/cases/conformance/es6/spread/arraySpreadImportHelpers.ts b/tests/cases/conforman…
4526 --- /dev/null
4528 @@ -0,0 +1,16 @@
4541 +// this is a pre-TS4.4 versions of emit helper, which always forced array packing
4545 diff --git a/tests/cases/conformance/es6/templates/templateStringWithCommentsInArrowFunction.ts b/t…
4548 --- /dev/null
4550 @@ -0,0 +1,14 @@
4565 diff --git a/tests/cases/conformance/expressions/asOperator/asOperatorASI.ts b/tests/cases/conforma…
4567 --- a/tests/cases/conformance/expressions/asOperator/asOperatorASI.ts
4569 @@ -8,3 +8,4 @@ as `Hello world`; // should not error
4575 diff --git a/tests/cases/conformance/expressions/binaryOperators/comparisonOperator/comparisonOpera…
4577 --- a/tests/cases/conformance/expressions/binaryOperators/comparisonOperator/comparisonOperatorWith…
4579 @@ -191,4 +191,8 @@ var r8b3 = b2 !== a2;
4583 -var r8b7 = b6 !== a6;
4591 diff --git a/tests/cases/conformance/expressions/binaryOperators/comparisonOperator/comparisonOpera…
4594 --- /dev/null
4596 @@ -0,0 +1,5 @@
4602 diff --git a/tests/cases/conformance/expressions/binaryOperators/comparisonOperator/comparisonOpera…
4604 --- a/tests/cases/conformance/expressions/binaryOperators/comparisonOperator/comparisonOperatorWith…
4606 @@ -146,4 +146,6 @@ var r8b2 = b2 !== a2;
4610 -var r8b6 = b6 !== a6;
4616 diff --git a/tests/cases/conformance/expressions/binaryOperators/comparisonOperator/comparisonOpera…
4618 --- a/tests/cases/conformance/expressions/binaryOperators/comparisonOperator/comparisonOperatorWith…
4620 @@ -146,4 +146,6 @@ var r8b2 = b2 !== a2;
4624 -var r8b6 = b6 !== a6;
4630 diff --git a/tests/cases/conformance/expressions/binaryOperators/comparisonOperator/comparisonOpera…
4632 --- a/tests/cases/conformance/expressions/binaryOperators/comparisonOperator/comparisonOperatorWith…
4634 @@ -256,4 +256,5 @@ var r8b8 = b8 !== a8;
4638 -//var r8b12 = b12 !== a12;
4643 diff --git a/tests/cases/conformance/expressions/binaryOperators/comparisonOperator/comparisonOpera…
4645 --- a/tests/cases/conformance/expressions/binaryOperators/comparisonOperator/comparisonOperatorWith…
4647 @@ -218,4 +218,5 @@ var r8b6 = b6 !== a6;
4651 -//var r8b10 = b10 !== a10;
4656 diff --git a/tests/cases/conformance/expressions/binaryOperators/comparisonOperator/comparisonOpera…
4658 --- a/tests/cases/conformance/expressions/binaryOperators/comparisonOperator/comparisonOperatorWith…
4660 @@ -104,4 +104,5 @@ var r8a1 = a4 !== b4;
4664 -var r8b1 = b4 !== a4;
4669 diff --git a/tests/cases/conformance/expressions/binaryOperators/comparisonOperator/comparisonOpera…
4671 --- a/tests/cases/conformance/expressions/binaryOperators/comparisonOperator/comparisonOperatorWith…
4673 @@ -161,4 +161,5 @@ var r8b3 = b3 !== a3;
4677 -//var r8b7 = b7 !== a7;
4682 diff --git a/tests/cases/conformance/expressions/binaryOperators/comparisonOperator/comparisonOpera…
4684 --- a/tests/cases/conformance/expressions/binaryOperators/comparisonOperator/comparisonOperatorWith…
4686 @@ -161,4 +161,5 @@ var r8b3 = b3 !== a3;
4690 -//var r8b7 = b7 !== a7;
4695 diff --git a/tests/cases/conformance/expressions/binaryOperators/comparisonOperator/comparisonOpera…
4697 --- a/tests/cases/conformance/expressions/binaryOperators/comparisonOperator/comparisonOperatorWith…
4699 @@ -75,4 +75,8 @@ var rg4 = b2 === a2;
4703 -var rh4 = b2 !== a2;
4711 diff --git a/tests/cases/conformance/expressions/binaryOperators/instanceofOperator/instanceofOpera…
4713 --- a/tests/cases/conformance/expressions/binaryOperators/instanceofOperator/instanceofOperatorWith…
4715 @@ -19,3 +19,6 @@ declare class NormalToString {
4723 diff --git a/tests/cases/conformance/expressions/binaryOperators/instanceofOperator/instanceofOpera…
4725 --- a/tests/cases/conformance/expressions/binaryOperators/instanceofOperator/instanceofOperatorWith…
4727 @@ -12,3 +12,4 @@ var r1 = a instanceof x1;
4733 diff --git a/tests/cases/conformance/expressions/commaOperator/commaOperatorWithSecondOperandObject…
4735 --- a/tests/cases/conformance/expressions/commaOperator/commaOperatorWithSecondOperandObjectType.ts
4737 @@ -38,3 +38,4 @@ var resultIsObject8 = (true, {});
4743 diff --git a/tests/cases/conformance/expressions/conditonalOperator/conditionalOperatorWithIdentica…
4745 --- a/tests/cases/conformance/expressions/conditonalOperator/conditionalOperatorWithIdenticalBCT.ts
4747 @@ -44,3 +44,6 @@ var result10: (t: X) => any = true ? (m) => m.propertyX1 : (n) => n.propertyX2;
4754 diff --git a/tests/cases/conformance/expressions/contextualTyping/superCallParameterContextualTypin…
4756 --- a/tests/cases/conformance/expressions/contextualTyping/superCallParameterContextualTyping1.ts
4758 @@ -9,3 +9,5 @@ class B extends A<number, string> {
4764 diff --git a/tests/cases/conformance/expressions/contextualTyping/superCallParameterContextualTypin…
4766 --- a/tests/cases/conformance/expressions/contextualTyping/superCallParameterContextualTyping3.ts
4768 @@ -28,4 +28,5 @@ class C extends CBase<string> {
4772 -}
4777 diff --git a/tests/cases/conformance/expressions/functionCalls/callWithSpread.ts b/tests/cases/conf…
4779 --- a/tests/cases/conformance/expressions/functionCalls/callWithSpread.ts
4781 @@ -55,3 +55,4 @@ class D extends C {
4787 diff --git a/tests/cases/conformance/expressions/functions/arrowFunctionExpressions.ts b/tests/case…
4789 --- a/tests/cases/conformance/expressions/functions/arrowFunctionExpressions.ts
4791 @@ -96,3 +96,4 @@ function tryCatchFn() {
4796 diff --git a/tests/cases/conformance/expressions/newOperator/newOperatorConformance.ts b/tests/case…
4798 --- a/tests/cases/conformance/expressions/newOperator/newOperatorConformance.ts
4800 @@ -60,3 +60,4 @@ var t: any;
4806 diff --git a/tests/cases/conformance/expressions/superCalls/superCalls.ts b/tests/cases/conformance…
4808 --- a/tests/cases/conformance/expressions/superCalls/superCalls.ts
4810 @@ -27,3 +27,5 @@ class OtherDerived extends OtherBase {
4817 diff --git a/tests/cases/conformance/expressions/thisKeyword/typeOfThisGeneral.ts b/tests/cases/con…
4820 --- /dev/null
4822 @@ -0,0 +1,178 @@
5001 diff --git a/tests/cases/conformance/expressions/typeGuards/TypeGuardWithArrayUnion.ts b/tests/case…
5003 --- a/tests/cases/conformance/expressions/typeGuards/TypeGuardWithArrayUnion.ts
5005 @@ -7,3 +7,4 @@ function saySize(message: Message | Message[]) {
5011 diff --git a/tests/cases/conformance/expressions/typeGuards/typeGuardFunction.ts b/tests/cases/conf…
5013 --- a/tests/cases/conformance/expressions/typeGuards/typeGuardFunction.ts
5015 @@ -80,4 +80,8 @@ acceptingTypeGuardFunction(isA);
5019 -let union3: boolean | B = isA(union2) || union2;
5027 diff --git a/tests/cases/conformance/expressions/typeGuards/typeGuardFunctionGenerics.ts b/tests/ca…
5029 --- a/tests/cases/conformance/expressions/typeGuards/typeGuardFunctionGenerics.ts
5031 @@ -30,4 +30,6 @@ let test2: B = funC(isB);
5035 -let test3: B = funE(isB, 1);
5041 diff --git a/tests/cases/conformance/expressions/typeGuards/typeGuardOfFormExpr1AndExpr2.ts b/tests…
5043 --- a/tests/cases/conformance/expressions/typeGuards/typeGuardOfFormExpr1AndExpr2.ts
5045 @@ -43,4 +43,5 @@ if (typeof strOrNumOrBool !== "string" && numOrBool !== strOrNumOrBool) {
5049 -}
5054 diff --git a/tests/cases/conformance/expressions/typeGuards/typeGuardOfFormExpr1OrExpr2.ts b/tests/…
5056 --- a/tests/cases/conformance/expressions/typeGuards/typeGuardOfFormExpr1OrExpr2.ts
5058 @@ -43,4 +43,5 @@ if (typeof strOrNumOrBool === "string" || numOrBool !== strOrNumOrBool) {
5062 -}
5067 diff --git a/tests/cases/conformance/expressions/typeGuards/typeGuardOfFormInstanceOf.ts b/tests/ca…
5069 --- a/tests/cases/conformance/expressions/typeGuards/typeGuardOfFormInstanceOf.ts
5071 @@ -1,25 +1,25 @@
5072 -// A type guard of the form x instanceof C, where C is of a subtype of the global type 'Function' 
5073 -// and C has a property named 'prototype'
5074 -//  - when true, narrows the type of x to the type of the 'prototype' property in C provided 
5075 -//    it is a subtype of the type of x, or
5076 -//  - when false, has no effect on the type of x.
5077 -
5078 -class C1 {
5079 -    p1: string;
5080 -}
5081 -class C2 {
5082 -    p2: number;
5083 -}
5084 -class D1 extends C1 {
5085 -    p3: number;
5086 -}
5089 +//  - when true, narrows the type of x to the type of the 'prototype' property in C provided 
5091 +//  - when false, has no effect on the type of x.
5105 -var str: string;
5106 -var num: number;
5107 -var strOrNum: string | number;
5108 -
5116 @@ -31,7 +31,7 @@ num = ctor2 instanceof C2 && ctor2.p2; // C2
5120 -
5125 @@ -64,4 +64,7 @@ if (ctor6 instanceof C1 || ctor6 instanceof C2) {
5129 -}
5136 diff --git a/tests/cases/conformance/expressions/typeGuards/typeGuardOfFormIsType.ts b/tests/cases/…
5138 --- a/tests/cases/conformance/expressions/typeGuards/typeGuardOfFormIsType.ts
5140 @@ -34,4 +34,7 @@ var c2Ord1: C2 | D1;
5144 -var r2: C2 | D1 = isC1(c2Ord1) && c2Ord1; // C2 | D1
5151 diff --git a/tests/cases/conformance/expressions/typeGuards/typeGuardOfFormTypeOfBoolean.ts b/tests…
5153 --- a/tests/cases/conformance/expressions/typeGuards/typeGuardOfFormTypeOfBoolean.ts
5155 @@ -83,3 +83,4 @@ if (typeof strOrNum !== "boolean") {
5161 diff --git a/tests/cases/conformance/expressions/typeGuards/typeGuardOfFormTypeOfNumber.ts b/tests/…
5163 --- a/tests/cases/conformance/expressions/typeGuards/typeGuardOfFormTypeOfNumber.ts
5165 @@ -82,3 +82,4 @@ if (typeof strOrBool !== "number") {
5171 diff --git a/tests/cases/conformance/expressions/typeGuards/typeGuardOfFormTypeOfString.ts b/tests/…
5173 --- a/tests/cases/conformance/expressions/typeGuards/typeGuardOfFormTypeOfString.ts
5175 @@ -82,3 +82,4 @@ if (typeof numOrBool !== "string") {
5181 diff --git a/tests/cases/conformance/expressions/typeGuards/typeGuardOfFromPropNameInUnionType.ts b…
5183 --- a/tests/cases/conformance/expressions/typeGuards/typeGuardOfFromPropNameInUnionType.ts
5185 @@ -103,3 +103,12 @@ function f(i: Indexed) {
5199 diff --git a/tests/cases/conformance/expressions/typeGuards/typeGuardsInClassAccessors.ts b/tests/c…
5201 --- a/tests/cases/conformance/expressions/typeGuards/typeGuardsInClassAccessors.ts
5203 @@ -101,3 +101,4 @@ class ClassWithAccessors {
5209 diff --git a/tests/cases/conformance/expressions/typeGuards/typeGuardsInClassMethods.ts b/tests/cas…
5211 --- a/tests/cases/conformance/expressions/typeGuards/typeGuardsInClassMethods.ts
5213 @@ -65,3 +65,4 @@ class C1 {
5219 diff --git a/tests/cases/conformance/expressions/typeGuards/typeGuardsInProperties.ts b/tests/cases…
5221 --- a/tests/cases/conformance/expressions/typeGuards/typeGuardsInProperties.ts
5223 @@ -24,4 +24,5 @@ strOrNum = typeof c1.pp3 === "string" && c1.pp3; // string | number
5227 -strOrNum = typeof obj1.x === "string" && obj1.x;  // string | number
5232 diff --git a/tests/cases/conformance/expressions/typeGuards/typeGuardsOnClassProperty.ts b/tests/ca…
5234 --- a/tests/cases/conformance/expressions/typeGuards/typeGuardsOnClassProperty.ts
5236 @@ -25,4 +25,5 @@ var o: {
5240 -if (typeof prop1 === "string" && prop1.toLocaleLowerCase()) { }
5245 diff --git a/tests/cases/conformance/expressions/unaryOperators/bitwiseNotOperator/bitwiseNotOperat…
5247 --- a/tests/cases/conformance/expressions/unaryOperators/bitwiseNotOperator/bitwiseNotOperatorWithN…
5249 @@ -43,4 +43,5 @@ var ResultIsNumber13 = ~~~(NUMBER + NUMBER);
5253 -~objA.a, M.n;
5258 diff --git a/tests/cases/conformance/expressions/unaryOperators/bitwiseNotOperator/bitwiseNotOperat…
5260 --- a/tests/cases/conformance/expressions/unaryOperators/bitwiseNotOperator/bitwiseNotOperatorWithS…
5262 @@ -42,4 +42,5 @@ var ResultIsNumber14 = ~~~(STRING + STRING);
5266 -~objA.a,M.n;
5271 diff --git a/tests/cases/conformance/externalModules/exportNonVisibleType.ts b/tests/cases/conforma…
5273 --- a/tests/cases/conformance/externalModules/exportNonVisibleType.ts
5275 @@ -31,3 +31,4 @@ class C1 {
5281 diff --git a/tests/cases/conformance/externalModules/moduleResolutionWithoutExtension1.ts b/tests/c…
5284 --- /dev/null
5286 @@ -0,0 +1,12 @@
5299 diff --git a/tests/cases/conformance/externalModules/moduleResolutionWithoutExtension2.ts b/tests/c…
5302 --- /dev/null
5304 @@ -0,0 +1,6 @@
5312 diff --git a/tests/cases/conformance/externalModules/moduleResolutionWithoutExtension3.ts b/tests/c…
5315 --- /dev/null
5317 @@ -0,0 +1,12 @@
5330 diff --git a/tests/cases/conformance/externalModules/moduleResolutionWithoutExtension4.ts b/tests/c…
5333 --- /dev/null
5335 @@ -0,0 +1,12 @@
5348 diff --git a/tests/cases/conformance/externalModules/moduleResolutionWithoutExtension5.ts b/tests/c…
5351 --- /dev/null
5353 @@ -0,0 +1,6 @@
5361 diff --git a/tests/cases/conformance/externalModules/moduleResolutionWithoutExtension6.ts b/tests/c…
5364 --- /dev/null
5366 @@ -0,0 +1,8 @@
5376 diff --git a/tests/cases/conformance/externalModules/moduleResolutionWithoutExtension7.ts b/tests/c…
5379 --- /dev/null
5381 @@ -0,0 +1,6 @@
5389 diff --git a/tests/cases/conformance/externalModules/moduleResolutionWithoutExtension8.ts b/tests/c…
5392 --- /dev/null
5394 @@ -0,0 +1,6 @@
5402 diff --git a/tests/cases/conformance/externalModules/typeOnly/exportSpecifiers.ts b/tests/cases/con…
5405 --- /dev/null
5407 @@ -0,0 +1,21 @@
5429 diff --git a/tests/cases/conformance/externalModules/typeOnly/importDefaultNamedType/a.ts b/tests/c…
5432 --- /dev/null
5434 @@ -0,0 +1,2 @@
5438 diff --git a/tests/cases/conformance/externalModules/typeOnly/importDefaultNamedType/importDefaultN…
5441 --- /dev/null
5443 @@ -0,0 +1,5 @@
5450 diff --git a/tests/cases/conformance/externalModules/typeOnly/importSpecifiers1.ts b/tests/cases/co…
5453 --- /dev/null
5455 @@ -0,0 +1,46 @@
5502 diff --git a/tests/cases/conformance/externalModules/typeOnly/preserveValueImports.ts b/tests/cases…
5505 --- /dev/null
5507 @@ -0,0 +1,28 @@
5536 diff --git a/tests/cases/conformance/externalModules/typeOnly/preserveValueImports_errors.ts b/test…
5539 --- /dev/null
5541 @@ -0,0 +1,47 @@
5589 diff --git a/tests/cases/conformance/externalModules/typeOnly/preserveValueImports_importsNotUsedAs…
5592 --- /dev/null
5594 @@ -0,0 +1,14 @@
5609 diff --git a/tests/cases/conformance/externalModules/typeOnly/preserveValueImports_mixedImports.ts …
5612 --- /dev/null
5614 @@ -0,0 +1,13 @@
5628 diff --git a/tests/cases/conformance/externalModules/typeOnly/preserveValueImports_module.ts b/test…
5631 --- /dev/null
5633 @@ -0,0 +1,4 @@
5638 diff --git a/tests/cases/conformance/importAssertion/importAssertion1.ts b/tests/cases/conformance/…
5641 --- /dev/null
5643 @@ -0,0 +1,37 @@
5681 diff --git a/tests/cases/conformance/importAssertion/importAssertion2.ts b/tests/cases/conformance/…
5684 --- /dev/null
5686 @@ -0,0 +1,17 @@
5704 diff --git a/tests/cases/conformance/importAssertion/importAssertion3.ts b/tests/cases/conformance/…
5707 --- /dev/null
5709 @@ -0,0 +1,15 @@
5725 diff --git a/tests/cases/conformance/importAssertion/importAssertion4.ts b/tests/cases/conformance/…
5728 --- /dev/null
5730 @@ -0,0 +1 @@
5732 diff --git a/tests/cases/conformance/importAssertion/importAssertion5.ts b/tests/cases/conformance/…
5735 --- /dev/null
5737 @@ -0,0 +1 @@
5739 diff --git a/tests/cases/conformance/interfaces/declarationMerging/mergedInterfacesWithMultipleBase…
5741 --- a/tests/cases/conformance/interfaces/declarationMerging/mergedInterfacesWithMultipleBases3.ts
5743 @@ -32,4 +32,8 @@ class D implements A<boolean> {
5747 -}
5754 diff --git a/tests/cases/conformance/interfaces/interfaceDeclarations/interfaceExtendsObjectInterse…
5756 --- a/tests/cases/conformance/interfaces/interfaceDeclarations/interfaceExtendsObjectIntersection.ts
5758 @@ -53,3 +53,15 @@ class C20 extends Constructor<Partial<T1>>() { x: string }
5775 diff --git a/tests/cases/conformance/interfaces/interfaceDeclarations/interfaceWithPropertyOfEveryT…
5777 --- a/tests/cases/conformance/interfaces/interfaceDeclarations/interfaceWithPropertyOfEveryType.ts
5779 @@ -39,4 +39,5 @@ var a: Foo = {
5783 -}
5788 diff --git a/tests/cases/conformance/internalModules/DeclarationMerging/AmbientModuleAndAmbientWith…
5790 --- a/tests/cases/conformance/internalModules/DeclarationMerging/AmbientModuleAndAmbientWithSameNam…
5792 @@ -21,4 +21,3 @@ declare module A {
5796 - 
5798 diff --git a/tests/cases/conformance/internalModules/DeclarationMerging/AmbientModuleAndNonAmbientC…
5800 --- a/tests/cases/conformance/internalModules/DeclarationMerging/AmbientModuleAndNonAmbientClassWit…
5802 @@ -13,6 +13,7 @@ module A {
5810 diff --git a/tests/cases/conformance/internalModules/DeclarationMerging/ClassAndModuleThatMergeWith…
5812 --- a/tests/cases/conformance/internalModules/DeclarationMerging/ClassAndModuleThatMergeWithStaticF…
5814 @@ -19,4 +19,6 @@ module A {
5818 -}
5824 diff --git a/tests/cases/conformance/internalModules/DeclarationMerging/TwoInternalModulesThatMerge…
5826 --- a/tests/cases/conformance/internalModules/DeclarationMerging/TwoInternalModulesThatMergeEachWit…
5828 @@ -3,6 +3,7 @@ module A {
5836 @@ -11,6 +12,7 @@ module A {
5844 @@ -21,6 +23,7 @@ module X.Y.Z {
5852 @@ -29,6 +32,7 @@ module X {
5860 diff --git a/tests/cases/conformance/internalModules/DeclarationMerging/TwoInternalModulesThatMerge…
5862 --- a/tests/cases/conformance/internalModules/DeclarationMerging/TwoInternalModulesThatMergeEachWit…
5864 @@ -16,6 +16,7 @@ module X.Y.Z {
5872 @@ -24,6 +25,7 @@ module X {
5880 diff --git a/tests/cases/conformance/internalModules/codeGeneration/exportCodeGen.ts b/tests/cases/…
5882 --- a/tests/cases/conformance/internalModules/codeGeneration/exportCodeGen.ts
5884 @@ -39,6 +39,7 @@ module E {
5892 @@ -51,4 +52,5 @@ module F {
5899 diff --git a/tests/cases/conformance/internalModules/codeGeneration/nameCollision.ts b/tests/cases/…
5901 --- a/tests/cases/conformance/internalModules/codeGeneration/nameCollision.ts
5903 @@ -15,6 +15,7 @@ module B {
5911 diff --git a/tests/cases/conformance/jsdoc/constructorTagOnClassConstructor.ts b/tests/cases/confor…
5913 --- a/tests/cases/conformance/jsdoc/constructorTagOnClassConstructor.ts
5915 @@ -11,4 +11,6 @@ export class Beta {
5919 -const arr = [Alpha, Beta];
5924 diff --git a/tests/cases/conformance/jsdoc/declarations/jsDeclarationsSubclassWithExplicitNoArgumen…
5926 --- a/tests/cases/conformance/jsdoc/declarations/jsDeclarationsSubclassWithExplicitNoArgumentConstr…
5928 @@ -16,4 +16,5 @@ export class Sub extends Super {
5932 -}
5937 diff --git a/tests/cases/conformance/jsdoc/declarations/jsDeclarationsThisTypes.ts b/tests/cases/co…
5939 --- a/tests/cases/conformance/jsdoc/declarations/jsDeclarationsThisTypes.ts
5941 @@ -14,4 +14,6 @@ export class A {
5945 -}
5951 diff --git a/tests/cases/conformance/jsdoc/enumTagImported/enumTagImported.ts b/tests/cases/conform…
5954 --- /dev/null
5956 @@ -0,0 +1,23 @@
5980 diff --git a/tests/cases/conformance/jsdoc/extendsTag1.ts b/tests/cases/conformance/jsdoc/extendsTa…
5982 --- a/tests/cases/conformance/jsdoc/extendsTag1.ts
5984 @@ -8,3 +8,4 @@
5989 diff --git a/tests/cases/conformance/jsdoc/jsdocAugments_qualifiedName/jsdocAugments_qualifiedName.…
5992 --- /dev/null
5994 @@ -0,0 +1,10 @@
6005 diff --git a/tests/cases/conformance/jsdoc/jsdocAugments_withTypeParameter.ts b/tests/cases/conform…
6007 --- a/tests/cases/conformance/jsdoc/jsdocAugments_withTypeParameter.ts
6009 @@ -12,3 +12,4 @@ class B extends A {
6015 diff --git a/tests/cases/conformance/jsdoc/jsdocImplements_namespacedInterface.ts b/tests/cases/con…
6017 --- a/tests/cases/conformance/jsdoc/jsdocImplements_namespacedInterface.ts
6019 @@ -26,3 +26,5 @@ class BAT {
6025 diff --git a/tests/cases/conformance/jsdoc/jsdocTemplateTagDefault.ts b/tests/cases/conformance/jsd…
6028 --- /dev/null
6030 @@ -0,0 +1,71 @@
6038 + * @template {string | number} [T=string] - ok: defaults are permitted
6053 + * @template [U=T] - ok: default can reference earlier type parameter
6058 + * @template {string | number} [T] - error: default requires an `=type`
6063 + * @template {string | number} [T=] - error: default requires a `type`
6069 + * @template U - error: Required type parameters cannot follow optional type parameters
6074 + * @template [T=U] - error: Type parameter defaults can only reference previously declared type pa…
6081 + * @template [U=T] - ok: default can reference earlier type parameter
6089 + * @template U - error: Required type parameters cannot follow optional type parameters
6096 + * @template [T=U] - error: Type parameter defaults can only reference previously declared type pa…
6102 diff --git a/tests/cases/conformance/jsdoc/jsdocTemplateTagNameResolution.ts b/tests/cases/conforma…
6105 --- /dev/null
6107 @@ -0,0 +1,16 @@
6125 diff --git a/tests/cases/conformance/jsdoc/jsdocTypeReferenceUseBeforeDef.ts b/tests/cases/conforma…
6127 --- a/tests/cases/conformance/jsdoc/jsdocTypeReferenceUseBeforeDef.ts
6129 @@ -6,3 +6,4 @@
6135 diff --git a/tests/cases/conformance/jsdoc/jsdocVariadicType.ts b/tests/cases/conformance/jsdoc/jsd…
6138 --- /dev/null
6140 @@ -0,0 +1,12 @@
6153 diff --git a/tests/cases/conformance/jsdoc/seeTag3.ts b/tests/cases/conformance/jsdoc/seeTag3.ts
6156 --- /dev/null
6158 @@ -0,0 +1,7 @@
6166 diff --git a/tests/cases/conformance/jsdoc/thisTag2.ts b/tests/cases/conformance/jsdoc/thisTag2.ts
6169 --- /dev/null
6171 @@ -0,0 +1,11 @@
6183 diff --git a/tests/cases/conformance/jsx/jsxParsingError4.tsx b/tests/cases/conformance/jsx/jsxPars…
6186 --- /dev/null
6188 @@ -0,0 +1,18 @@
6201 +  <public-foo></public-foo>
6207 diff --git a/tests/cases/conformance/jsx/jsxUnclosedParserRecovery.ts b/tests/cases/conformance/jsx…
6210 --- /dev/null
6212 @@ -0,0 +1,140 @@
6353 diff --git a/tests/cases/conformance/jsx/tsxReactEmitSpreadAttribute.ts b/tests/cases/conformance/j…
6356 --- /dev/null
6358 @@ -0,0 +1,32 @@
6359 +// @jsx: react-jsx
6391 diff --git a/tests/cases/conformance/moduleResolution/declarationNotFoundPackageBundlesTypes.ts b/t…
6394 --- /dev/null
6396 @@ -0,0 +1,23 @@
6421 diff --git a/tests/cases/conformance/moduleResolution/scopedPackages/index.d.ts b/tests/cases/confo…
6424 --- /dev/null
6426 @@ -0,0 +1,3 @@
6431 diff --git a/tests/cases/conformance/moduleResolution/scopedPackages/scopedPackages.ts b/tests/case…
6434 --- /dev/null
6436 @@ -0,0 +1,12 @@
6450 diff --git a/tests/cases/conformance/moduleResolution/scopedPackages/z.d.ts b/tests/cases/conforman…
6453 --- /dev/null
6455 @@ -0,0 +1,2 @@
6459 diff --git a/tests/cases/conformance/moduleResolution/scopedPackagesClassic/index.d.ts b/tests/case…
6462 --- /dev/null
6464 @@ -0,0 +1,2 @@
6467 diff --git a/tests/cases/conformance/moduleResolution/scopedPackagesClassic/scopedPackagesClassic.t…
6470 --- /dev/null
6472 @@ -0,0 +1,9 @@
6483 diff --git a/tests/cases/conformance/moduleResolution/untypedModuleImport_allowJs/untypedModuleImpo…
6486 --- /dev/null
6488 @@ -0,0 +1,12 @@
6493 +// Same as untypedModuleImport.ts but with --allowJs, so the package will actually be typed.
6501 diff --git a/tests/cases/conformance/moduleResolution/untypedModuleImport_vsAmbient/declarations.d.…
6504 --- /dev/null
6506 @@ -0,0 +1,4 @@
6511 diff --git a/tests/cases/conformance/moduleResolution/untypedModuleImport_vsAmbient/untypedModuleIm…
6514 --- /dev/null
6516 @@ -0,0 +1,12 @@
6529 diff --git a/tests/cases/conformance/node/allowJs/nodeAllowJsPackageSelfName.ts b/tests/cases/confo…
6532 --- /dev/null
6534 @@ -0,0 +1,24 @@
6560 diff --git a/tests/cases/conformance/node/allowJs/nodeModulesAllowJs1.ts b/tests/cases/conformance/…
6563 --- /dev/null
6565 @@ -0,0 +1,324 @@
6620 +// The next ones shouldn't all work - esm format files have no index resolution or extension resol…
6656 +// These should _mostly_ work - `import = require` always desugars to require calls, which do have…
6680 +// These shouldn't work - dynamic `import()` always uses the esm resolver, which does not have ext…
6696 +// ESM-format imports below should issue errors
6709 +// The next ones should _mostly_ work - cjs format files have index resolution and extension resol…
6745 +// These should _mostly_ work - `import = require` always desugars to require calls, which do have…
6769 +// These shouldn't work - dynamic `import()` always uses the esm resolver, which does not have ext…
6797 +// The next ones should all fail - esm format files have no index resolution or extension resoluti…
6833 +// These should _mostly_ work - `import = require` always desugars to require calls, which do have…
6857 +// These shouldn't work - dynamic `import()` always uses the esm resolver, which does not have ext…
6891 diff --git a/tests/cases/conformance/node/allowJs/nodeModulesAllowJsCjsFromJs.ts b/tests/cases/conf…
6894 --- /dev/null
6896 @@ -0,0 +1,8 @@
6906 diff --git a/tests/cases/conformance/node/allowJs/nodeModulesAllowJsConditionalPackageExports.ts b/…
6909 --- /dev/null
6911 @@ -0,0 +1,126 @@
7039 diff --git a/tests/cases/conformance/node/allowJs/nodeModulesAllowJsDynamicImport.ts b/tests/cases/…
7042 --- /dev/null
7044 @@ -0,0 +1,27 @@
7073 diff --git a/tests/cases/conformance/node/allowJs/nodeModulesAllowJsExportAssignment.ts b/tests/cas…
7076 --- /dev/null
7078 @@ -0,0 +1,32 @@
7112 diff --git a/tests/cases/conformance/node/allowJs/nodeModulesAllowJsGeneratedNameCollisions.ts b/te…
7115 --- /dev/null
7117 @@ -0,0 +1,29 @@
7148 diff --git a/tests/cases/conformance/node/allowJs/nodeModulesAllowJsImportAssignment.ts b/tests/cas…
7151 --- /dev/null
7153 @@ -0,0 +1,34 @@
7189 diff --git a/tests/cases/conformance/node/allowJs/nodeModulesAllowJsImportHelpersCollisions1.ts b/t…
7192 --- /dev/null
7194 @@ -0,0 +1,34 @@
7230 diff --git a/tests/cases/conformance/node/allowJs/nodeModulesAllowJsImportHelpersCollisions2.ts b/t…
7233 --- /dev/null
7235 @@ -0,0 +1,30 @@
7267 diff --git a/tests/cases/conformance/node/allowJs/nodeModulesAllowJsImportHelpersCollisions3.ts b/t…
7270 --- /dev/null
7272 @@ -0,0 +1,32 @@
7306 diff --git a/tests/cases/conformance/node/allowJs/nodeModulesAllowJsImportMeta.ts b/tests/cases/con…
7309 --- /dev/null
7311 @@ -0,0 +1,23 @@
7336 diff --git a/tests/cases/conformance/node/allowJs/nodeModulesAllowJsPackageExports.ts b/tests/cases…
7339 --- /dev/null
7341 @@ -0,0 +1,92 @@
7435 diff --git a/tests/cases/conformance/node/allowJs/nodeModulesAllowJsPackageImports.ts b/tests/cases…
7438 --- /dev/null
7440 @@ -0,0 +1,41 @@
7483 diff --git a/tests/cases/conformance/node/allowJs/nodeModulesAllowJsPackagePatternExports.ts b/test…
7486 --- /dev/null
7488 @@ -0,0 +1,69 @@
7559 diff --git a/tests/cases/conformance/node/allowJs/nodeModulesAllowJsPackagePatternExportsTrailers.t…
7562 --- /dev/null
7564 @@ -0,0 +1,69 @@
7635 diff --git a/tests/cases/conformance/node/allowJs/nodeModulesAllowJsSynchronousCallErrors.ts b/test…
7638 --- /dev/null
7640 @@ -0,0 +1,37 @@
7679 diff --git a/tests/cases/conformance/node/allowJs/nodeModulesAllowJsTopLevelAwait.ts b/tests/cases/…
7682 --- /dev/null
7684 @@ -0,0 +1,25 @@
7711 diff --git a/tests/cases/conformance/node/legacyNodeModulesExportsSpecifierGenerationConditions.ts …
7714 --- /dev/null
7716 @@ -0,0 +1,33 @@
7751 diff --git a/tests/cases/conformance/node/nodeModules1.ts b/tests/cases/conformance/node/nodeModule…
7754 --- /dev/null
7756 @@ -0,0 +1,321 @@
7808 +// The next ones should all fail - esm format files have no index resolution or extension resoluti…
7844 +// These should _mostly_ work - `import = require` always desugars to require calls, which do have…
7868 +// These shouldn't work - dynamic `import()` always uses the esm resolver, which does not have ext…
7885 +// ESM-format imports below should issue errors
7898 +// The next ones should _mostly_ work - cjs format files have index resolution and extension resol…
7934 +// These should _mostly_ work - `import = require` always desugars to require calls, which do have…
7958 +// These shouldn't work - dynamic `import()` always uses the esm resolver, which does not have ext…
7986 +// The next ones shouldn't all work - esm format files have no index resolution or extension resol…
8022 +// These should _mostly_ work - `import = require` always desugars to require calls, which do have…
8046 +// These shouldn't work - dynamic `import()` always uses the esm resolver, which does not have ext…
8079 diff --git a/tests/cases/conformance/node/nodeModulesCjsFormatFileAlwaysHasDefault.ts b/tests/cases…
8082 --- /dev/null
8084 @@ -0,0 +1,19 @@
8105 diff --git a/tests/cases/conformance/node/nodeModulesConditionalPackageExports.ts b/tests/cases/con…
8108 --- /dev/null
8110 @@ -0,0 +1,124 @@
8236 diff --git a/tests/cases/conformance/node/nodeModulesDeclarationEmitDynamicImportWithPackageExports…
8239 --- /dev/null
8241 @@ -0,0 +1,71 @@
8314 diff --git a/tests/cases/conformance/node/nodeModulesDeclarationEmitWithPackageExports.ts b/tests/c…
8317 --- /dev/null
8319 @@ -0,0 +1,93 @@
8414 diff --git a/tests/cases/conformance/node/nodeModulesDynamicImport.ts b/tests/cases/conformance/nod…
8417 --- /dev/null
8419 @@ -0,0 +1,24 @@
8445 diff --git a/tests/cases/conformance/node/nodeModulesExportAssignments.ts b/tests/cases/conformance…
8448 --- /dev/null
8450 @@ -0,0 +1,20 @@
8472 diff --git a/tests/cases/conformance/node/nodeModulesExportsBlocksSpecifierResolution.ts b/tests/ca…
8475 --- /dev/null
8477 @@ -0,0 +1,27 @@
8506 diff --git a/tests/cases/conformance/node/nodeModulesExportsSpecifierGenerationConditions.ts b/test…
8509 --- /dev/null
8511 @@ -0,0 +1,34 @@
8547 diff --git a/tests/cases/conformance/node/nodeModulesExportsSpecifierGenerationDirectory.ts b/tests…
8550 --- /dev/null
8552 @@ -0,0 +1,29 @@
8583 diff --git a/tests/cases/conformance/node/nodeModulesExportsSpecifierGenerationPattern.ts b/tests/c…
8586 --- /dev/null
8588 @@ -0,0 +1,29 @@
8619 diff --git a/tests/cases/conformance/node/nodeModulesForbidenSyntax.ts b/tests/cases/conformance/no…
8622 --- /dev/null
8624 @@ -0,0 +1,67 @@
8693 diff --git a/tests/cases/conformance/node/nodeModulesGeneratedNameCollisions.ts b/tests/cases/confo…
8696 --- /dev/null
8698 @@ -0,0 +1,26 @@
8726 diff --git a/tests/cases/conformance/node/nodeModulesImportAssertions.ts b/tests/cases/conformance/…
8729 --- /dev/null
8731 @@ -0,0 +1,13 @@
8746 diff --git a/tests/cases/conformance/node/nodeModulesImportAssignments.ts b/tests/cases/conformance…
8749 --- /dev/null
8751 @@ -0,0 +1,31 @@
8784 diff --git a/tests/cases/conformance/node/nodeModulesImportHelpersCollisions.ts b/tests/cases/confo…
8787 --- /dev/null
8789 @@ -0,0 +1,31 @@
8822 diff --git a/tests/cases/conformance/node/nodeModulesImportHelpersCollisions2.ts b/tests/cases/conf…
8825 --- /dev/null
8827 @@ -0,0 +1,27 @@
8856 diff --git a/tests/cases/conformance/node/nodeModulesImportHelpersCollisions3.ts b/tests/cases/conf…
8859 --- /dev/null
8861 @@ -0,0 +1,25 @@
8888 diff --git a/tests/cases/conformance/node/nodeModulesImportMeta.ts b/tests/cases/conformance/node/n…
8891 --- /dev/null
8893 @@ -0,0 +1,20 @@
8915 diff --git a/tests/cases/conformance/node/nodeModulesImportResolutionIntoExport.ts b/tests/cases/co…
8918 --- /dev/null
8920 @@ -0,0 +1,24 @@
8946 diff --git a/tests/cases/conformance/node/nodeModulesImportResolutionNoCycle.ts b/tests/cases/confo…
8949 --- /dev/null
8951 @@ -0,0 +1,24 @@
8977 diff --git a/tests/cases/conformance/node/nodeModulesPackageExports.ts b/tests/cases/conformance/no…
8980 --- /dev/null
8982 @@ -0,0 +1,90 @@
9074 diff --git a/tests/cases/conformance/node/nodeModulesPackageImports.ts b/tests/cases/conformance/no…
9077 --- /dev/null
9079 @@ -0,0 +1,38 @@
9119 diff --git a/tests/cases/conformance/node/nodeModulesPackagePatternExports.ts b/tests/cases/conform…
9122 --- /dev/null
9124 @@ -0,0 +1,67 @@
9193 diff --git a/tests/cases/conformance/node/nodeModulesPackagePatternExportsTrailers.ts b/tests/cases…
9196 --- /dev/null
9198 @@ -0,0 +1,67 @@
9267 diff --git a/tests/cases/conformance/node/nodeModulesResolveJsonModule.ts b/tests/cases/conformance…
9270 --- /dev/null
9272 @@ -0,0 +1,29 @@
9303 diff --git a/tests/cases/conformance/node/nodeModulesSynchronousCallErrors.ts b/tests/cases/conform…
9306 --- /dev/null
9308 @@ -0,0 +1,34 @@
9344 diff --git a/tests/cases/conformance/node/nodeModulesTopLevelAwait.ts b/tests/cases/conformance/nod…
9347 --- /dev/null
9349 @@ -0,0 +1,22 @@
9373 diff --git a/tests/cases/conformance/node/nodeModulesTypesVersionPackageExports.ts b/tests/cases/co…
9376 --- /dev/null
9378 @@ -0,0 +1,53 @@
9406 +// @filename: node_modules/inner/old-types.d.ts
9408 +// @filename: node_modules/inner/new-types.d.ts
9410 +// @filename: node_modules/inner/future-types.d.ts
9424 +            "types@>=10000": "./future-types.d.ts",
9425 +            "types@>=1": "./new-types.d.ts",
9426 +            "types": "./old-types.d.ts",
9433 diff --git a/tests/cases/conformance/node/nodePackageSelfName.ts b/tests/cases/conformance/node/nod…
9436 --- /dev/null
9438 @@ -0,0 +1,21 @@
9461 diff --git a/tests/cases/conformance/node/nodePackageSelfNameScoped.ts b/tests/cases/conformance/no…
9464 --- /dev/null
9466 @@ -0,0 +1,21 @@
9489 diff --git a/tests/cases/conformance/override/override10.ts b/tests/cases/conformance/override/over…
9491 --- a/tests/cases/conformance/override/override10.ts
9493 @@ -9,4 +9,5 @@ abstract class Base {
9497 -}
9502 diff --git a/tests/cases/conformance/override/override12.ts b/tests/cases/conformance/override/over…
9504 --- a/tests/cases/conformance/override/override12.ts
9506 @@ -24,3 +24,4 @@ class B extends A {
9512 diff --git a/tests/cases/conformance/override/override15.ts b/tests/cases/conformance/override/over…
9515 --- /dev/null
9517 @@ -0,0 +1,9 @@
9527 diff --git a/tests/cases/conformance/override/override16.ts b/tests/cases/conformance/override/over…
9529 --- a/tests/cases/conformance/override/override16.ts
9531 @@ -8,3 +8,4 @@ class A {
9537 diff --git a/tests/cases/conformance/override/override17.ts b/tests/cases/conformance/override/over…
9539 --- a/tests/cases/conformance/override/override17.ts
9541 @@ -25,3 +25,4 @@ class B extends A {
9547 diff --git a/tests/cases/conformance/override/override18.ts b/tests/cases/conformance/override/over…
9549 --- a/tests/cases/conformance/override/override18.ts
9551 @@ -9,3 +9,4 @@ class A {
9557 diff --git a/tests/cases/conformance/override/override19.ts b/tests/cases/conformance/override/over…
9560 --- /dev/null
9562 @@ -0,0 +1,20 @@
9583 diff --git a/tests/cases/conformance/override/override20.ts b/tests/cases/conformance/override/over…
9586 --- /dev/null
9588 @@ -0,0 +1,34 @@
9623 diff --git a/tests/cases/conformance/override/override_js1.ts b/tests/cases/conformance/override/ov…
9625 --- a/tests/cases/conformance/override/override_js1.ts
9627 @@ -22,4 +22,6 @@ class C {
9631 -}
9637 diff --git a/tests/cases/conformance/override/override_js4.ts b/tests/cases/conformance/override/ov…
9640 --- /dev/null
9642 @@ -0,0 +1,14 @@
9657 diff --git a/tests/cases/conformance/parser/ecmascript5/ClassDeclarations/parserClassDeclaration16.…
9659 --- a/tests/cases/conformance/parser/ecmascript5/ClassDeclarations/parserClassDeclaration16.ts
9661 @@ -1,4 +1,5 @@
9665 -}
9670 diff --git a/tests/cases/conformance/parser/ecmascript5/ClassDeclarations/parserClassDeclaration17.…
9672 --- a/tests/cases/conformance/parser/ecmascript5/ClassDeclarations/parserClassDeclaration17.ts
9674 @@ -5,3 +5,4 @@ declare class Enumerator {
9680 diff --git a/tests/cases/conformance/parser/ecmascript5/ClassDeclarations/parserClassDeclaration19.…
9682 --- a/tests/cases/conformance/parser/ecmascript5/ClassDeclarations/parserClassDeclaration19.ts
9684 @@ -1,4 +1,5 @@
9688 -}
9693 diff --git a/tests/cases/conformance/parser/ecmascript5/ClassDeclarations/parserClassDeclaration20.…
9695 --- a/tests/cases/conformance/parser/ecmascript5/ClassDeclarations/parserClassDeclaration20.ts
9697 @@ -1,4 +1,5 @@
9701 -}
9706 diff --git a/tests/cases/conformance/parser/ecmascript5/ClassDeclarations/parserClassDeclaration23.…
9708 --- a/tests/cases/conformance/parser/ecmascript5/ClassDeclarations/parserClassDeclaration23.ts
9710 @@ -1,2 +1,3 @@
9712 -}
9717 diff --git a/tests/cases/conformance/parser/ecmascript5/ClassDeclarations/parserClassDeclaration26.…
9719 --- a/tests/cases/conformance/parser/ecmascript5/ClassDeclarations/parserClassDeclaration26.ts
9721 @@ -1,4 +1,5 @@
9725 -}
9730 diff --git a/tests/cases/conformance/parser/ecmascript5/ClassDeclarations/parserClassDeclarationInd…
9732 --- a/tests/cases/conformance/parser/ecmascript5/ClassDeclarations/parserClassDeclarationIndexSigna…
9734 @@ -1,3 +1,4 @@
9737 -}
9742 diff --git a/tests/cases/conformance/parser/ecmascript5/ConstructorDeclarations/parserConstructorDe…
9744 --- a/tests/cases/conformance/parser/ecmascript5/ConstructorDeclarations/parserConstructorDeclarati…
9746 @@ -1,3 +1,4 @@
9749 -}
9754 diff --git a/tests/cases/conformance/parser/ecmascript5/ConstructorDeclarations/parserConstructorDe…
9756 --- a/tests/cases/conformance/parser/ecmascript5/ConstructorDeclarations/parserConstructorDeclarati…
9758 @@ -1,3 +1,4 @@
9761 -}
9766 diff --git a/tests/cases/conformance/parser/ecmascript5/ErrorRecovery/AccessibilityAfterStatic/pars…
9768 --- a/tests/cases/conformance/parser/ecmascript5/ErrorRecovery/AccessibilityAfterStatic/parserAcces…
9770 @@ -2,3 +2,4 @@ class Outer
9776 diff --git a/tests/cases/conformance/parser/ecmascript5/ErrorRecovery/AccessibilityAfterStatic/pars…
9778 --- a/tests/cases/conformance/parser/ecmascript5/ErrorRecovery/AccessibilityAfterStatic/parserAcces…
9780 @@ -2,3 +2,4 @@ class Outer
9786 diff --git a/tests/cases/conformance/parser/ecmascript5/ErrorRecovery/AccessibilityAfterStatic/pars…
9788 --- a/tests/cases/conformance/parser/ecmascript5/ErrorRecovery/AccessibilityAfterStatic/parserAcces…
9790 @@ -2,3 +2,4 @@ class Outer
9796 diff --git a/tests/cases/conformance/parser/ecmascript5/ErrorRecovery/AccessibilityAfterStatic/pars…
9798 --- a/tests/cases/conformance/parser/ecmascript5/ErrorRecovery/AccessibilityAfterStatic/parserAcces…
9800 @@ -2,3 +2,4 @@ class Outer
9806 diff --git a/tests/cases/conformance/parser/ecmascript5/ErrorRecovery/AccessibilityAfterStatic/pars…
9808 --- a/tests/cases/conformance/parser/ecmascript5/ErrorRecovery/AccessibilityAfterStatic/parserAcces…
9810 @@ -2,3 +2,4 @@ class Outer
9816 diff --git a/tests/cases/conformance/parser/ecmascript5/ErrorRecovery/AccessibilityAfterStatic/pars…
9818 --- a/tests/cases/conformance/parser/ecmascript5/ErrorRecovery/AccessibilityAfterStatic/parserAcces…
9820 @@ -2,3 +2,4 @@ class Outer
9826 diff --git a/tests/cases/conformance/parser/ecmascript5/Generics/parserGenericClass1.ts b/tests/cas…
9828 --- a/tests/cases/conformance/parser/ecmascript5/Generics/parserGenericClass1.ts
9830 @@ -1,2 +1,3 @@
9832 -}
9837 diff --git a/tests/cases/conformance/parser/ecmascript5/Generics/parserGenericClass2.ts b/tests/cas…
9839 --- a/tests/cases/conformance/parser/ecmascript5/Generics/parserGenericClass2.ts
9841 @@ -1,2 +1,3 @@
9843 -}
9848 diff --git a/tests/cases/conformance/parser/ecmascript5/Generics/parserGenericConstraint1.ts b/test…
9850 --- a/tests/cases/conformance/parser/ecmascript5/Generics/parserGenericConstraint1.ts
9852 @@ -1,2 +1,3 @@
9854 -}
9859 diff --git a/tests/cases/conformance/parser/ecmascript5/IndexMemberDeclarations/parserIndexMemberDe…
9861 --- a/tests/cases/conformance/parser/ecmascript5/IndexMemberDeclarations/parserIndexMemberDeclarati…
9863 @@ -1,3 +1,4 @@
9866 -}
9871 diff --git a/tests/cases/conformance/parser/ecmascript5/IndexMemberDeclarations/parserIndexMemberDe…
9873 --- a/tests/cases/conformance/parser/ecmascript5/IndexMemberDeclarations/parserIndexMemberDeclarati…
9875 @@ -1,4 +1,5 @@
9879 -}
9884 diff --git a/tests/cases/conformance/parser/ecmascript5/IndexMemberDeclarations/parserIndexMemberDe…
9886 --- a/tests/cases/conformance/parser/ecmascript5/IndexMemberDeclarations/parserIndexMemberDeclarati…
9888 @@ -1,4 +1,5 @@
9892 -}
9897 diff --git a/tests/cases/conformance/parser/ecmascript5/IndexMemberDeclarations/parserIndexMemberDe…
9899 --- a/tests/cases/conformance/parser/ecmascript5/IndexMemberDeclarations/parserIndexMemberDeclarati…
9901 @@ -1,3 +1,4 @@
9904 -}
9909 diff --git a/tests/cases/conformance/parser/ecmascript5/IndexMemberDeclarations/parserIndexMemberDe…
9911 --- a/tests/cases/conformance/parser/ecmascript5/IndexMemberDeclarations/parserIndexMemberDeclarati…
9913 @@ -1,3 +1,4 @@
9916 -}
9921 diff --git a/tests/cases/conformance/parser/ecmascript5/MemberVariableDeclarations/parserMemberVari…
9923 --- a/tests/cases/conformance/parser/ecmascript5/MemberVariableDeclarations/parserMemberVariableDec…
9925 @@ -1,3 +1,4 @@
9928 -}
9933 diff --git a/tests/cases/conformance/parser/ecmascript5/Protected/Protected3.ts b/tests/cases/confo…
9935 --- a/tests/cases/conformance/parser/ecmascript5/Protected/Protected3.ts
9937 @@ -1,3 +1,4 @@
9940 -}
9945 diff --git a/tests/cases/conformance/parser/ecmascript5/Protected/Protected5.ts b/tests/cases/confo…
9947 --- a/tests/cases/conformance/parser/ecmascript5/Protected/Protected5.ts
9949 @@ -1,3 +1,4 @@
9952 -}
9957 diff --git a/tests/cases/conformance/parser/ecmascript5/Protected/Protected9.ts b/tests/cases/confo…
9959 --- a/tests/cases/conformance/parser/ecmascript5/Protected/Protected9.ts
9961 @@ -1,3 +1,4 @@
9964 -}
9969 diff --git a/tests/cases/conformance/parser/ecmascript5/RegressionTests/parser509546.ts b/tests/cas…
9971 --- a/tests/cases/conformance/parser/ecmascript5/RegressionTests/parser509546.ts
9973 @@ -1,3 +1,4 @@
9979 diff --git a/tests/cases/conformance/parser/ecmascript5/RegressionTests/parser509546_1.ts b/tests/c…
9981 --- a/tests/cases/conformance/parser/ecmascript5/RegressionTests/parser509546_1.ts
9983 @@ -1,3 +1,4 @@
9989 diff --git a/tests/cases/conformance/parser/ecmascript5/RegressionTests/parser509546_2.ts b/tests/c…
9991 --- a/tests/cases/conformance/parser/ecmascript5/RegressionTests/parser509546_2.ts
9993 @@ -3,3 +3,4 @@
9999 diff --git a/tests/cases/conformance/parser/ecmascript5/parserUnicode3.ts b/tests/cases/conformance…
10001 --- a/tests/cases/conformance/parser/ecmascript5/parserUnicode3.ts
10003 @@ -1,2 +1,3 @@
10005 -}
10009 diff --git a/tests/cases/conformance/parser/ecmascript6/Iterators/parserForOfStatement22.ts b/tests…
10012 --- /dev/null
10014 @@ -0,0 +1,4 @@
10019 diff --git a/tests/cases/conformance/parser/ecmascript6/Iterators/parserForOfStatement23.ts b/tests…
10022 --- /dev/null
10024 @@ -0,0 +1,6 @@
10031 diff --git a/tests/cases/conformance/parser/ecmascript6/Iterators/parserForOfStatement24.ts b/tests…
10034 --- /dev/null
10036 @@ -0,0 +1,4 @@
10041 diff --git a/tests/cases/conformance/salsa/inferringClassMembersFromAssignments3.ts b/tests/cases/c…
10043 --- a/tests/cases/conformance/salsa/inferringClassMembersFromAssignments3.ts
10045 @@ -14,3 +14,4 @@ class Derived extends Base {
10051 diff --git a/tests/cases/conformance/salsa/plainJSBinderErrors.ts b/tests/cases/conformance/salsa/p…
10054 --- /dev/null
10056 @@ -0,0 +1,44 @@
10101 diff --git a/tests/cases/conformance/salsa/plainJSRedeclare.ts b/tests/cases/conformance/salsa/plai…
10104 --- /dev/null
10106 @@ -0,0 +1,6 @@
10113 diff --git a/tests/cases/conformance/salsa/plainJSRedeclare2.ts b/tests/cases/conformance/salsa/pla…
10116 --- /dev/null
10118 @@ -0,0 +1,7 @@
10126 diff --git a/tests/cases/conformance/salsa/plainJSRedeclare3.ts b/tests/cases/conformance/salsa/pla…
10129 --- /dev/null
10131 @@ -0,0 +1,7 @@
10139 diff --git a/tests/cases/conformance/salsa/plainJSReservedStrict.ts b/tests/cases/conformance/salsa…
10142 --- /dev/null
10144 @@ -0,0 +1,7 @@
10152 diff --git a/tests/cases/conformance/salsa/spellingUncheckedJS.ts b/tests/cases/conformance/salsa/s…
10155 --- /dev/null
10157 @@ -0,0 +1,51 @@
10167 +    // @ts-expect-error
10169 +    // @ts-expect-error
10209 diff --git a/tests/cases/conformance/salsa/typeFromJSInitializer2.ts b/tests/cases/conformance/sals…
10212 --- /dev/null
10214 @@ -0,0 +1,18 @@
10233 diff --git a/tests/cases/conformance/salsa/typeFromJSInitializer3.ts b/tests/cases/conformance/sals…
10236 --- /dev/null
10238 @@ -0,0 +1,18 @@
10257 diff --git a/tests/cases/conformance/salsa/typeFromJSInitializer4.ts b/tests/cases/conformance/sals…
10260 --- /dev/null
10262 @@ -0,0 +1,29 @@
10292 diff --git a/tests/cases/conformance/salsa/typeFromPropertyAssignment23.ts b/tests/cases/conformanc…
10294 --- a/tests/cases/conformance/salsa/typeFromPropertyAssignment23.ts
10296 @@ -35,3 +35,6 @@ class NormalModule extends Module {
10304 …--git a/tests/cases/conformance/statements/for-inStatements/for-inStatementsAsyncIdentifier.ts b/t…
10307 --- /dev/null
10308 +++ b/tests/cases/conformance/statements/for-inStatements/for-inStatementsAsyncIdentifier.ts
10309 @@ -0,0 +1,4 @@
10314 diff --git a/tests/cases/conformance/statements/returnStatements/returnStatements.ts b/tests/cases/…
10316 --- a/tests/cases/conformance/statements/returnStatements/returnStatements.ts
10318 @@ -21,3 +21,4 @@ function fn10(): I { return { id: 12 }; }
10324 diff --git a/tests/cases/conformance/statements/throwStatements/throwInEnclosingStatements.ts b/tes…
10326 --- a/tests/cases/conformance/statements/throwStatements/throwInEnclosingStatements.ts
10328 @@ -45,3 +45,4 @@ var aa = {
10334 diff --git a/tests/cases/conformance/types/any/anyAsGenericFunctionCall.ts b/tests/cases/conformanc…
10336 --- a/tests/cases/conformance/types/any/anyAsGenericFunctionCall.ts
10338 @@ -7,4 +7,6 @@ var b = x<string>('hello');
10342 -var d = x<any>(x);
10348 diff --git a/tests/cases/conformance/types/any/assignAnyToEveryType.ts b/tests/cases/conformance/ty…
10350 --- a/tests/cases/conformance/types/any/assignAnyToEveryType.ts
10352 @@ -42,4 +42,6 @@ M = x;
10356 -}
10362 diff --git a/tests/cases/conformance/types/any/assignEveryTypeToAny.ts b/tests/cases/conformance/ty…
10364 --- a/tests/cases/conformance/types/any/assignEveryTypeToAny.ts
10366 @@ -52,4 +52,6 @@ x = { f<T>(x: T) { return x; } }
10370 -}
10376 diff --git a/tests/cases/conformance/types/conditional/variance.ts b/tests/cases/conformance/types/…
10378 --- a/tests/cases/conformance/types/conditional/variance.ts
10380 @@ -25,3 +25,5 @@ class Bar<T extends string> {
10386 diff --git a/tests/cases/conformance/types/contextualTypes/partiallyAnnotatedFunction/partiallyAnno…
10388 --- a/tests/cases/conformance/types/contextualTypes/partiallyAnnotatedFunction/partiallyAnnotatedFu…
10390 @@ -31,3 +31,6 @@ testRest((t1: D, t2, t3) => {})
10397 diff --git a/tests/cases/conformance/types/import/importTypeAmbient.ts b/tests/cases/conformance/ty…
10399 --- a/tests/cases/conformance/types/import/importTypeAmbient.ts
10401 @@ -28,8 +28,8 @@ declare module "foo2" {
10407 -
10411 @@ -40,3 +40,6 @@ class Bar2 {
10418 diff --git a/tests/cases/conformance/types/import/importTypeGenericTypes.ts b/tests/cases/conforman…
10420 --- a/tests/cases/conformance/types/import/importTypeGenericTypes.ts
10422 @@ -29,9 +29,10 @@ class Bar<T> {
10429 -// @filename: usage.ts
10434 @@ -43,3 +44,5 @@ export class Bar2<T> {
10440 diff --git a/tests/cases/conformance/types/import/importTypeLocal.ts b/tests/cases/conformance/type…
10442 --- a/tests/cases/conformance/types/import/importTypeLocal.ts
10444 @@ -26,8 +26,11 @@ class Bar {
10456 @@ -40,3 +43,5 @@ export class Bar2 {
10463 diff --git a/tests/cases/conformance/types/intersection/intersectionOfUnionNarrowing.ts b/tests/cas…
10466 --- /dev/null
10468 @@ -0,0 +1,16 @@
10485 diff --git a/tests/cases/conformance/types/keyof/keyofAndIndexedAccess.ts b/tests/cases/conformance…
10487 --- a/tests/cases/conformance/types/keyof/keyofAndIndexedAccess.ts
10489 @@ -658,3 +658,23 @@ const cf2 = <T extends { [P in K | "cool"]: string; }, K extends keyof T>(t: T,
10513 diff --git a/tests/cases/conformance/types/literal/literalTypes2.ts b/tests/cases/conformance/types…
10515 --- a/tests/cases/conformance/types/literal/literalTypes2.ts
10517 @@ -176,3 +176,6 @@ type Bit = 0 | 1;
10524 diff --git a/tests/cases/conformance/types/localTypes/localTypes2.ts b/tests/cases/conformance/type…
10526 --- a/tests/cases/conformance/types/localTypes/localTypes2.ts
10528 @@ -3,6 +3,7 @@ function f1() {
10536 @@ -17,6 +18,7 @@ function f2() {
10544 @@ -31,6 +33,7 @@ function f3() {
10552 diff --git a/tests/cases/conformance/types/localTypes/localTypes3.ts b/tests/cases/conformance/type…
10554 --- a/tests/cases/conformance/types/localTypes/localTypes3.ts
10556 @@ -3,6 +3,7 @@ function f1() {
10564 @@ -17,6 +18,7 @@ function f2() {
10572 @@ -31,6 +33,7 @@ function f3() {
10580 diff --git a/tests/cases/conformance/types/mapped/mappedTypeAsClauseRelationships.ts b/tests/cases/…
10583 --- /dev/null
10585 @@ -0,0 +1,27 @@
10602 +type FilterExclOpt<T> = { [P in keyof T as T[P] extends Function ? P : never]-?: T[P] };
10603 +type ModifyExclOpt<T> = { [P in keyof T as P extends string? `bool${P}`: never ]-?: T[P] };
10613 diff --git a/tests/cases/conformance/types/mapped/mappedTypeProperties.ts b/tests/cases/conformance…
10616 --- /dev/null
10618 @@ -0,0 +1,42 @@
10661 diff --git a/tests/cases/conformance/types/mapped/mappedTypes3.ts b/tests/cases/conformance/types/m…
10663 --- a/tests/cases/conformance/types/mapped/mappedTypes3.ts
10665 @@ -37,4 +37,6 @@ function f3(bb: BoxifiedBacon) {
10669 -}
10675 diff --git a/tests/cases/conformance/types/mapped/mappedTypesAndObjects.ts b/tests/cases/conformanc…
10677 --- a/tests/cases/conformance/types/mapped/mappedTypesAndObjects.ts
10679 @@ -43,3 +43,5 @@ interface E3<T> extends Base {
10686 diff --git a/tests/cases/conformance/types/members/classWithProtectedProperty.ts b/tests/cases/conf…
10688 --- a/tests/cases/conformance/types/members/classWithProtectedProperty.ts
10690 @@ -24,4 +24,6 @@ class D extends C {
10694 -}
10700 diff --git a/tests/cases/conformance/types/members/indexSignatures1.ts b/tests/cases/conformance/ty…
10703 --- /dev/null
10705 @@ -0,0 +1,325 @@
10736 +declare let combo: { [x: `foo-${string}`]: 'a' | 'b' } & { [x: `${string}-bar`]: 'b' | 'c' };
10737 +const x1 = combo['foo-test'];  // 'a' | 'b'
10738 +const x2 = combo['test-bar'];  // 'b' | 'c'
10739 +const x3 = combo['foo-test-bar'];  // 'b' (('a' | 'b') & ('b' | 'c'))
10743 +const x4 = combo[`foo-${str}`];
10744 +const x5 = combo[`${str}-bar`];
10745 +const x6 = combo[`foo-${str}-bar`];
10983 +type Pseudo = `&:${string}`;
10985 +const AmIPseudo1: Pseudo = '&:test';
10986 +const AmIPseudo: Pseudo = '&';  // Error
10988 +type PseudoDeclaration = { [key in Pseudo]: string };
11000 +type IdType = `${number}-${number}-${number}-${number}`
11001 +const id: IdType = '0000-0000-0000-0001';
11031 diff --git a/tests/cases/conformance/types/members/objectTypeHidingMembersOfObject.ts b/tests/cases…
11033 --- a/tests/cases/conformance/types/members/objectTypeHidingMembersOfObject.ts
11035 @@ -24,4 +24,6 @@ var b: {
11039 -var r4: void = b.valueOf();
11045 diff --git a/tests/cases/conformance/types/members/objectTypePropertyAccess.ts b/tests/cases/confor…
11047 --- a/tests/cases/conformance/types/members/objectTypePropertyAccess.ts
11049 @@ -26,3 +26,5 @@ var r8 = a.toString();
11056 diff --git a/tests/cases/conformance/types/members/objectTypeWithNumericProperty.ts b/tests/cases/c…
11058 --- a/tests/cases/conformance/types/members/objectTypeWithNumericProperty.ts
11060 @@ -40,4 +40,6 @@ var b = {
11064 -var r4 = b['1.1'];
11070 diff --git a/tests/cases/conformance/types/members/objectTypeWithStringNamedPropertyOfIllegalCharac…
11072 --- a/tests/cases/conformance/types/members/objectTypeWithStringNamedPropertyOfIllegalCharacters.ts
11074 @@ -50,3 +50,5 @@ var r2 = b["    "];
11081 diff --git a/tests/cases/conformance/types/members/typesWithSpecializedCallSignatures.ts b/tests/ca…
11083 --- a/tests/cases/conformance/types/members/typesWithSpecializedCallSignatures.ts
11085 @@ -38,4 +38,7 @@ a = i;
11089 -var r3: Base = c.foo('hm');
11096 diff --git a/tests/cases/conformance/types/members/typesWithSpecializedConstructSignatures.ts b/tes…
11098 --- a/tests/cases/conformance/types/members/typesWithSpecializedConstructSignatures.ts
11100 @@ -36,4 +36,7 @@ a = i;
11104 -var r3: Base = new a('hm');
11111 diff --git a/tests/cases/conformance/types/namedTypes/classWithOptionalParameter.ts b/tests/cases/c…
11113 --- a/tests/cases/conformance/types/namedTypes/classWithOptionalParameter.ts
11115 @@ -8,4 +8,7 @@ class C {
11119 -}
11126 diff --git a/tests/cases/conformance/types/namedTypes/optionalMethods.ts b/tests/cases/conformance/…
11128 --- a/tests/cases/conformance/types/namedTypes/optionalMethods.ts
11130 @@ -56,3 +56,6 @@ class Derived extends Base {
11137 diff --git a/tests/cases/conformance/types/never/neverType.ts b/tests/cases/conformance/types/never…
11139 --- a/tests/cases/conformance/types/never/neverType.ts
11141 @@ -91,3 +91,5 @@ test(() => "hello");
11147 diff --git a/tests/cases/conformance/types/objectTypeLiteral/callSignatures/callSignatureWithoutRet…
11149 --- a/tests/cases/conformance/types/objectTypeLiteral/callSignatures/callSignatureWithoutReturnType…
11151 @@ -77,6 +77,7 @@ module M {
11159 @@ -119,4 +120,7 @@ module e1 { export var y = 1; }
11163 -var r15 = foo15();
11169 diff --git a/tests/cases/conformance/types/objectTypeLiteral/callSignatures/callSignaturesWithDupli…
11171 --- a/tests/cases/conformance/types/objectTypeLiteral/callSignatures/callSignaturesWithDuplicatePar…
11173 @@ -35,4 +35,6 @@ var b = {
11177 -}
11183 diff --git a/tests/cases/conformance/types/objectTypeLiteral/callSignatures/callSignaturesWithOptio…
11185 --- a/tests/cases/conformance/types/objectTypeLiteral/callSignatures/callSignaturesWithOptionalPara…
11187 @@ -52,3 +52,5 @@ b.a(1);
11193 diff --git a/tests/cases/conformance/types/objectTypeLiteral/callSignatures/callSignaturesWithOptio…
11195 --- a/tests/cases/conformance/types/objectTypeLiteral/callSignatures/callSignaturesWithOptionalPara…
11197 @@ -56,4 +56,6 @@ a(1);
11201 -a.foo(1, 2, 3);
11206 diff --git a/tests/cases/conformance/types/objectTypeLiteral/callSignatures/parametersWithNoAnnotat…
11208 --- a/tests/cases/conformance/types/objectTypeLiteral/callSignatures/parametersWithNoAnnotationAreA…
11210 @@ -26,4 +26,6 @@ var b = {
11214 -}
11219 diff --git a/tests/cases/conformance/types/objectTypeLiteral/callSignatures/specializedSignatureIsN…
11221 --- a/tests/cases/conformance/types/objectTypeLiteral/callSignatures/specializedSignatureIsNotSubty…
11223 @@ -62,3 +62,6 @@ var a3: {
11230 diff --git a/tests/cases/conformance/types/objectTypeLiteral/callSignatures/specializedSignatureIsS…
11232 --- a/tests/cases/conformance/types/objectTypeLiteral/callSignatures/specializedSignatureIsSubtypeO…
11234 @@ -78,3 +78,6 @@ var a3: {
11242 diff --git a/tests/cases/conformance/types/objectTypeLiteral/callSignatures/stringLiteralTypesInImp…
11244 --- a/tests/cases/conformance/types/objectTypeLiteral/callSignatures/stringLiteralTypesInImplementa…
11246 @@ -23,3 +23,5 @@ var b = {
11252 diff --git a/tests/cases/conformance/types/objectTypeLiteral/callSignatures/typeParameterAsTypeArgu…
11254 --- a/tests/cases/conformance/types/objectTypeLiteral/callSignatures/typeParameterAsTypeArgument.ts
11256 @@ -24,4 +24,6 @@ interface I<T, U> {
11260 -//}
11264 diff --git a/tests/cases/conformance/types/objectTypeLiteral/constructSignatures/constructSignature…
11266 --- a/tests/cases/conformance/types/objectTypeLiteral/constructSignatures/constructSignaturesWithOv…
11268 @@ -29,4 +29,7 @@ var a: {
11272 -}
11279 diff --git a/tests/cases/conformance/types/objectTypeLiteral/indexSignatures/numericIndexingResults…
11281 --- a/tests/cases/conformance/types/objectTypeLiteral/indexSignatures/numericIndexingResults.ts
11283 @@ -53,4 +53,6 @@ var r2b = b2['2'];
11287 -var r6 = b2[3];
11292 diff --git a/tests/cases/conformance/types/objectTypeLiteral/indexSignatures/stringIndexingResults.…
11294 --- a/tests/cases/conformance/types/objectTypeLiteral/indexSignatures/stringIndexingResults.ts
11296 @@ -32,3 +32,5 @@ var b: { [x: string]: string } = { y: '' }
11303 diff --git a/tests/cases/conformance/types/objectTypeLiteral/propertySignatures/propertyNameWithout…
11305 --- a/tests/cases/conformance/types/objectTypeLiteral/propertySignatures/propertyNameWithoutTypeAnn…
11307 @@ -18,4 +18,6 @@ var b = {
11311 -var r4 = b.foo;
11317 diff --git a/tests/cases/conformance/types/objectTypeLiteral/propertySignatures/propertyNamesOfRese…
11319 --- a/tests/cases/conformance/types/objectTypeLiteral/propertySignatures/propertyNamesOfReservedWor…
11321 @@ -273,4 +273,6 @@ enum E {
11325 -var r8 = E.as;
11330 diff --git a/tests/cases/conformance/types/objectTypeLiteral/propertySignatures/stringNamedProperty…
11332 --- a/tests/cases/conformance/types/objectTypeLiteral/propertySignatures/stringNamedPropertyAccess.…
11334 @@ -20,4 +20,6 @@ var r3 = a["a b"];
11338 -var r4 = b["a b"];
11343 diff --git a/tests/cases/conformance/types/primitives/number/extendNumberInterface.ts b/tests/cases…
11345 --- a/tests/cases/conformance/types/primitives/number/extendNumberInterface.ts
11347 @@ -7,4 +7,4 @@ var x = 1;
11351 -var d: string = x['doOtherStuff']('hm');
11354 diff --git a/tests/cases/conformance/types/primitives/undefined/invalidUndefinedValues.ts b/tests/c…
11356 --- a/tests/cases/conformance/types/primitives/undefined/invalidUndefinedValues.ts
11358 @@ -28,4 +28,6 @@ x = f;
11362 -x = E.A;
11368 diff --git a/tests/cases/conformance/types/primitives/undefined/validUndefinedAssignments.ts b/test…
11370 --- a/tests/cases/conformance/types/primitives/undefined/validUndefinedAssignments.ts
11372 @@ -20,4 +20,6 @@ var h: { f(): void } = x;
11376 -}
11382 diff --git a/tests/cases/conformance/types/rest/objectRestParameter.ts b/tests/cases/conformance/ty…
11384 --- a/tests/cases/conformance/types/rest/objectRestParameter.ts
11386 @@ -19,3 +19,4 @@ function foobar({ bar={}, ...opts }: any = {}) {
11392 diff --git a/tests/cases/conformance/types/specifyingTypes/typeLiterals/arrayOfFunctionTypes3.ts b/…
11394 --- a/tests/cases/conformance/types/specifyingTypes/typeLiterals/arrayOfFunctionTypes3.ts
11396 @@ -23,4 +23,6 @@ var c2: { (x: number): number; <T>(x: T): any; };
11400 -var r7 = r6(''); // any not string
11406 diff --git a/tests/cases/conformance/types/specifyingTypes/typeLiterals/functionLiteralForOverloads…
11408 --- a/tests/cases/conformance/types/specifyingTypes/typeLiterals/functionLiteralForOverloads2.ts
11410 @@ -25,4 +25,7 @@ var f2: {
11414 -} = D;
11421 diff --git a/tests/cases/conformance/types/specifyingTypes/typeQueries/typeQueryOnClass.ts b/tests/…
11423 --- a/tests/cases/conformance/types/specifyingTypes/typeQueries/typeQueryOnClass.ts
11425 @@ -53,4 +53,7 @@ class D<T> {
11429 -var r4: typeof d;
11436 diff --git a/tests/cases/conformance/types/specifyingTypes/typeQueries/typeQueryWithReservedWords.t…
11438 --- a/tests/cases/conformance/types/specifyingTypes/typeQueries/typeQueryWithReservedWords.ts
11440 @@ -12,3 +12,4 @@ interface IScope {
11445 diff --git a/tests/cases/conformance/types/specifyingTypes/typeQueries/typeofClass2.ts b/tests/case…
11447 --- a/tests/cases/conformance/types/specifyingTypes/typeQueries/typeofClass2.ts
11449 @@ -18,4 +18,7 @@ class D extends C {
11453 -var r2: typeof d;
11460 diff --git a/tests/cases/conformance/types/specifyingTypes/typeQueries/typeofModuleWithoutExports.t…
11462 --- a/tests/cases/conformance/types/specifyingTypes/typeQueries/typeofModuleWithoutExports.ts
11464 @@ -3,6 +3,7 @@ module M {
11471 -var r: typeof M;
11474 diff --git a/tests/cases/conformance/types/specifyingTypes/typeQueries/typeofThis.ts b/tests/cases/…
11477 --- /dev/null
11479 @@ -0,0 +1,146 @@
11627 diff --git a/tests/cases/conformance/types/specifyingTypes/typeQueries/typeofThisWithImplicitThis.t…
11630 --- /dev/null
11632 @@ -0,0 +1,5 @@
11638 diff --git a/tests/cases/conformance/types/spread/spreadDuplicate.ts b/tests/cases/conformance/type…
11641 --- /dev/null
11643 @@ -0,0 +1,21 @@
11665 diff --git a/tests/cases/conformance/types/spread/spreadDuplicateExact.ts b/tests/cases/conformance…
11668 --- /dev/null
11670 @@ -0,0 +1,22 @@
11693 diff --git a/tests/cases/conformance/types/spread/spreadUnion4.ts b/tests/cases/conformance/types/s…
11696 --- /dev/null
11698 @@ -0,0 +1,4 @@
11703 diff --git a/tests/cases/conformance/types/thisType/fluentClasses.ts b/tests/cases/conformance/type…
11705 --- a/tests/cases/conformance/types/thisType/fluentClasses.ts
11707 @@ -15,3 +15,5 @@ class C extends B {
11713 diff --git a/tests/cases/conformance/types/thisType/thisTypeAndConstraints.ts b/tests/cases/conform…
11715 --- a/tests/cases/conformance/types/thisType/thisTypeAndConstraints.ts
11717 @@ -19,3 +19,6 @@ class B<T extends A> {
11724 diff --git a/tests/cases/conformance/types/thisType/thisTypeInClasses.ts b/tests/cases/conformance/…
11726 --- a/tests/cases/conformance/types/thisType/thisTypeInClasses.ts
11728 @@ -47,3 +47,9 @@ class C5 {
11738 diff --git a/tests/cases/conformance/types/thisType/thisTypeInFunctions3.ts b/tests/cases/conforman…
11740 --- a/tests/cases/conformance/types/thisType/thisTypeInFunctions3.ts
11742 @@ -7,3 +7,6 @@ class Test extends Base {
11749 diff --git a/tests/cases/conformance/types/thisType/thisTypeInTaggedTemplateCall.ts b/tests/cases/c…
11752 --- /dev/null
11754 @@ -0,0 +1,10 @@
11765 diff --git a/tests/cases/conformance/types/tuple/readonlyArraysAndTuples2.ts b/tests/cases/conforma…
11767 --- a/tests/cases/conformance/types/tuple/readonlyArraysAndTuples2.ts
11769 @@ -21,3 +21,5 @@ class A {
11776 diff --git a/tests/cases/conformance/types/typeAliases/circularTypeAliasForUnionWithClass.ts b/test…
11778 --- a/tests/cases/conformance/types/typeAliases/circularTypeAliasForUnionWithClass.ts
11780 @@ -15,3 +15,7 @@ type T4 = string | I4;
11789 diff --git a/tests/cases/conformance/types/typeAliases/classDoesNotDependOnBaseTypes.ts b/tests/cas…
11791 --- a/tests/cases/conformance/types/typeAliases/classDoesNotDependOnBaseTypes.ts
11793 @@ -9,4 +9,6 @@ var x: StringTree;
11797 -}
11802 diff --git a/tests/cases/conformance/types/typeAliases/typeAliases.ts b/tests/cases/conformance/typ…
11804 --- a/tests/cases/conformance/types/typeAliases/typeAliases.ts
11806 @@ -77,4 +77,6 @@ var x: [string, boolean];
11810 -y[0].toLowerCase();
11816 diff --git a/tests/cases/conformance/types/typeParameters/typeArgumentLists/callGenericFunctionWith…
11818 --- a/tests/cases/conformance/types/typeParameters/typeArgumentLists/callGenericFunctionWithZeroTyp…
11820 @@ -33,4 +33,7 @@ interface I2<T> {
11824 -var r7 = i2.f(1);
11831 diff --git a/tests/cases/conformance/types/typeParameters/typeArgumentLists/functionConstraintSatis…
11833 --- a/tests/cases/conformance/types/typeParameters/typeArgumentLists/functionConstraintSatisfaction…
11835 @@ -58,4 +58,7 @@ function foo2<T extends { (): void }, U extends { (): void }>(x: T, y: U) {
11839 -//}
11846 diff --git a/tests/cases/conformance/types/typeParameters/typeArgumentLists/functionConstraintSatis…
11848 --- a/tests/cases/conformance/types/typeParameters/typeArgumentLists/functionConstraintSatisfaction…
11850 @@ -38,4 +38,7 @@ var c2: { <T>(x: T): T; <T>(x: T, y: T): T };
11854 -var r15 = foo(c2);
11861 diff --git a/tests/cases/conformance/types/typeParameters/typeParameterLists/innerTypeParameterShad…
11863 --- a/tests/cases/conformance/types/typeParameters/typeParameterLists/innerTypeParameterShadowingOu…
11865 @@ -34,4 +34,6 @@ class C2<T extends Date, U extends Date> {
11869 -//}
11875 diff --git a/tests/cases/conformance/types/typeParameters/typeParameterLists/propertyAccessOnTypePa…
11877 --- a/tests/cases/conformance/types/typeParameters/typeParameterLists/propertyAccessOnTypeParameter…
11879 @@ -31,4 +31,5 @@ var b = {
11883 -var r4 = b.foo(new Date());
11888 diff --git a/tests/cases/conformance/types/typeParameters/typeParameterLists/propertyAccessOnTypePa…
11890 --- a/tests/cases/conformance/types/typeParameters/typeParameterLists/propertyAccessOnTypeParameter…
11892 @@ -61,7 +61,7 @@ var a: {
11896 -var aB = new B();
11901 @@ -78,4 +78,7 @@ var b = {
11905 -var r4 = b.foo(aB, aB); // no inferences for T so constraint isn't satisfied, error
11912 diff --git a/tests/cases/conformance/types/typeParameters/typeParameterLists/propertyAccessOnTypePa…
11914 --- a/tests/cases/conformance/types/typeParameters/typeParameterLists/propertyAccessOnTypeParameter…
11916 @@ -53,4 +53,6 @@ var b = {
11920 -var r4 = b.foo(new B()); // valid call to an invalid function
11926 diff --git a/tests/cases/conformance/types/typeParameters/typeParameterLists/propertyAccessOnTypePa…
11928 --- a/tests/cases/conformance/types/typeParameters/typeParameterLists/propertyAccessOnTypeParameter…
11930 @@ -28,4 +28,6 @@ var b = {
11934 -var r4 = b.foo(1);
11940 diff --git a/tests/cases/conformance/types/typeParameters/typeParameterLists/typeParameterUsedAsCon…
11942 --- a/tests/cases/conformance/types/typeParameters/typeParameterLists/typeParameterUsedAsConstraint…
11944 @@ -32,3 +32,10 @@ var a3: { <T extends Date, U extends T>(): void }
11956 diff --git a/tests/cases/conformance/types/typeRelationships/assignmentCompatibility/anyAssignabili…
11958 --- a/tests/cases/conformance/types/typeRelationships/assignmentCompatibility/anyAssignabilityInInh…
11960 @@ -85,4 +85,8 @@ var r3 = foo3(a); // any
11964 -var r3 = foo3(a); // any
11972 diff --git a/tests/cases/conformance/types/typeRelationships/assignmentCompatibility/anyAssignableT…
11974 --- a/tests/cases/conformance/types/typeRelationships/assignmentCompatibility/anyAssignableToEveryT…
11976 @@ -38,6 +38,7 @@ function foo<T, U /*extends T*/, V extends Date>(x: T, y: U, z: V) {
11984 diff --git a/tests/cases/conformance/types/typeRelationships/assignmentCompatibility/anyAssignableT…
11986 --- a/tests/cases/conformance/types/typeRelationships/assignmentCompatibility/anyAssignableToEveryT…
11988 @@ -127,3 +127,6 @@ interface I20 {
11996 diff --git a/tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentComp…
11998 --- a/tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithO…
12000 @@ -40,6 +40,8 @@ module SimpleTypes {
12009 @@ -81,5 +83,6 @@ module ObjectTypes {
12013 -
12018 diff --git a/tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentComp…
12020 --- a/tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithO…
12022 @@ -39,3 +39,5 @@ b2 = a2;
12029 diff --git a/tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentComp…
12031 --- a/tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithO…
12033 @@ -39,3 +39,5 @@ b2 = a2;
12040 diff --git a/tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentComp…
12042 --- a/tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithO…
12044 @@ -39,3 +39,5 @@ b2 = a2;
12051 diff --git a/tests/cases/conformance/types/typeRelationships/assignmentCompatibility/callSignatureA…
12053 --- a/tests/cases/conformance/types/typeRelationships/assignmentCompatibility/callSignatureAssignab…
12055 @@ -66,4 +66,8 @@ interface I extends A {
12059 -}
12067 diff --git a/tests/cases/conformance/types/typeRelationships/assignmentCompatibility/callSignatureA…
12069 --- a/tests/cases/conformance/types/typeRelationships/assignmentCompatibility/callSignatureAssignab…
12071 @@ -46,4 +46,8 @@ interface I extends A {
12075 -}
12083 diff --git a/tests/cases/conformance/types/typeRelationships/assignmentCompatibility/callSignatureA…
12085 --- a/tests/cases/conformance/types/typeRelationships/assignmentCompatibility/callSignatureAssignab…
12087 @@ -45,4 +45,7 @@ interface I extends B {
12091 -}
12098 diff --git a/tests/cases/conformance/types/typeRelationships/assignmentCompatibility/constructSigna…
12100 --- a/tests/cases/conformance/types/typeRelationships/assignmentCompatibility/constructSignatureAss…
12102 @@ -66,4 +66,8 @@ interface I extends A {
12106 -}
12114 diff --git a/tests/cases/conformance/types/typeRelationships/assignmentCompatibility/constructSigna…
12116 --- a/tests/cases/conformance/types/typeRelationships/assignmentCompatibility/constructSignatureAss…
12118 @@ -56,4 +56,7 @@ interface I extends A {
12122 -}
12129 diff --git a/tests/cases/conformance/types/typeRelationships/assignmentCompatibility/constructSigna…
12131 --- a/tests/cases/conformance/types/typeRelationships/assignmentCompatibility/constructSignatureAss…
12133 @@ -45,4 +45,7 @@ interface I extends B {
12137 -}
12144 diff --git a/tests/cases/conformance/types/typeRelationships/assignmentCompatibility/everyTypeAssig…
12146 --- a/tests/cases/conformance/types/typeRelationships/assignmentCompatibility/everyTypeAssignableTo…
12148 @@ -53,6 +53,8 @@ function foo<T, U /*extends T*/, V extends Date>(x: T, y: U, z: V) {
12157 diff --git a/tests/cases/conformance/types/typeRelationships/assignmentCompatibility/nullAssignable…
12159 --- a/tests/cases/conformance/types/typeRelationships/assignmentCompatibility/nullAssignableToEvery…
12161 @@ -35,7 +35,7 @@ function foo<T, U, V extends Date>(x: T, y: U, z: V) {
12165 -
12170 diff --git a/tests/cases/conformance/types/typeRelationships/assignmentCompatibility/undefinedAssig…
12172 --- a/tests/cases/conformance/types/typeRelationships/assignmentCompatibility/undefinedAssignableTo…
12174 @@ -35,6 +35,7 @@ function foo<T, U, V extends Date>(x: T, y: U, z: V) {
12182 diff --git a/tests/cases/conformance/types/typeRelationships/bestCommonType/bestCommonTypeOfConditi…
12184 --- a/tests/cases/conformance/types/typeRelationships/bestCommonType/bestCommonTypeOfConditionalExp…
12186 @@ -23,4 +23,7 @@ var r11 = true ? base : derived2;
12190 -}
12197 diff --git a/tests/cases/conformance/types/typeRelationships/bestCommonType/bestCommonTypeOfConditi…
12199 --- a/tests/cases/conformance/types/typeRelationships/bestCommonType/bestCommonTypeOfConditionalExp…
12201 @@ -21,4 +21,6 @@ function foo2<T extends U, U>(t: T, u: U) { // Error for referencing own type pa
12205 -}
12211 diff --git a/tests/cases/conformance/types/typeRelationships/bestCommonType/heterogeneousArrayLiter…
12213 --- a/tests/cases/conformance/types/typeRelationships/bestCommonType/heterogeneousArrayLiterals.ts
12215 @@ -99,6 +99,8 @@ function foo4<T extends Base, U extends Base>(t: T, u: U) {
12224 diff --git a/tests/cases/conformance/types/typeRelationships/instanceOf/narrowingConstrainedTypeVar…
12226 --- a/tests/cases/conformance/types/typeRelationships/instanceOf/narrowingConstrainedTypeVariable.ts
12228 @@ -34,3 +34,6 @@ function f3<T extends E>(v: T | { x: string }) {
12236 diff --git a/tests/cases/conformance/types/typeRelationships/recursiveTypes/arrayLiteralsWithRecurs…
12238 --- a/tests/cases/conformance/types/typeRelationships/recursiveTypes/arrayLiteralsWithRecursiveGene…
12240 @@ -22,4 +22,8 @@ var ys = [list, list2]; // {}[]
12244 -var as = [list, myDerivedList]; // List<number>[]
12252 diff --git a/tests/cases/conformance/types/typeRelationships/recursiveTypes/recursiveTypeInGenericC…
12254 --- a/tests/cases/conformance/types/typeRelationships/recursiveTypes/recursiveTypeInGenericConstrai…
12256 @@ -10,4 +10,7 @@ class D<T> {
12260 -var c1 = new Foo<D<string>>(); // ok, circularity in assignment compat check causes success
12267 diff --git a/tests/cases/conformance/types/typeRelationships/recursiveTypes/recursiveTypesUsedAsFun…
12269 --- a/tests/cases/conformance/types/typeRelationships/recursiveTypes/recursiveTypesUsedAsFunctionPa…
12271 @@ -40,4 +40,7 @@ function other<T extends List<U>, U>() {
12275 -}
12282 diff --git a/tests/cases/conformance/types/typeRelationships/subtypesAndSuperTypes/nullIsSubtypeOfE…
12284 --- a/tests/cases/conformance/types/typeRelationships/subtypesAndSuperTypes/nullIsSubtypeOfEverythi…
12286 @@ -88,3 +88,7 @@ var r19 = true ? null : new Object();
12294 diff --git a/tests/cases/conformance/types/typeRelationships/subtypesAndSuperTypes/stringLiteralTyp…
12296 --- a/tests/cases/conformance/types/typeRelationships/subtypesAndSuperTypes/stringLiteralTypeIsSubt…
12298 @@ -97,4 +97,6 @@ function f15<T, U extends T>(x: any) { }
12302 -function f16<T extends String, U extends T>(x: any) { }
12308 diff --git a/tests/cases/conformance/types/typeRelationships/subtypesAndSuperTypes/subtypesOfAny.ts…
12310 --- a/tests/cases/conformance/types/typeRelationships/subtypesAndSuperTypes/subtypesOfAny.ts
12312 @@ -130,4 +130,7 @@ interface I19 {
12316 -}
12323 diff --git a/tests/cases/conformance/types/typeRelationships/subtypesAndSuperTypes/subtypesOfTypePa…
12325 --- a/tests/cases/conformance/types/typeRelationships/subtypesAndSuperTypes/subtypesOfTypeParameter…
12327 @@ -154,4 +154,7 @@ function f20<T extends Number>(x: T) {
12331 -}
12338 diff --git a/tests/cases/conformance/types/typeRelationships/subtypesAndSuperTypes/subtypingWithCal…
12340 --- a/tests/cases/conformance/types/typeRelationships/subtypesAndSuperTypes/subtypingWithCallSignat…
12342 @@ -5,6 +5,7 @@ class Derived extends Base { bar: string; }
12350 @@ -169,3 +170,8 @@ var r17arg1 = <T>(x: (a: T) => T) => <T[]>null;
12360 diff --git a/tests/cases/conformance/types/typeRelationships/subtypesAndSuperTypes/subtypingWithCal…
12362 --- a/tests/cases/conformance/types/typeRelationships/subtypesAndSuperTypes/subtypingWithCallSignat…
12364 @@ -103,6 +103,10 @@ module Errors {
12375 diff --git a/tests/cases/conformance/types/typeRelationships/subtypesAndSuperTypes/subtypingWithCal…
12377 --- a/tests/cases/conformance/types/typeRelationships/subtypesAndSuperTypes/subtypingWithCallSignat…
12379 @@ -108,4 +108,8 @@ var r17arg = <T>(x: (a: T) => T) => <T[]>null;
12383 -var r18 = foo18(r18arg);
12391 diff --git a/tests/cases/conformance/types/typeRelationships/subtypesAndSuperTypes/subtypingWithCon…
12393 --- a/tests/cases/conformance/types/typeRelationships/subtypesAndSuperTypes/subtypingWithConstructS…
12395 @@ -169,3 +169,8 @@ var r17arg1: new <T>(x: (a: T) => T) => T[];
12405 diff --git a/tests/cases/conformance/types/typeRelationships/subtypesAndSuperTypes/subtypingWithCon…
12407 --- a/tests/cases/conformance/types/typeRelationships/subtypesAndSuperTypes/subtypingWithConstructS…
12409 @@ -105,6 +105,10 @@ module Errors {
12420 diff --git a/tests/cases/conformance/types/typeRelationships/subtypesAndSuperTypes/subtypingWithCon…
12422 --- a/tests/cases/conformance/types/typeRelationships/subtypesAndSuperTypes/subtypingWithConstructS…
12424 @@ -108,4 +108,8 @@ var r17arg: new <T>(x: new (a: T) => T) => T[];
12428 -var r18 = foo18(r18arg);
12436 diff --git a/tests/cases/conformance/types/typeRelationships/subtypesAndSuperTypes/subtypingWithCon…
12438 --- a/tests/cases/conformance/types/typeRelationships/subtypesAndSuperTypes/subtypingWithConstructS…
12440 @@ -6,6 +6,7 @@ class Derived extends Base { bar: string; }
12448 @@ -45,4 +46,7 @@ interface I extends B {
12452 -}
12458 diff --git a/tests/cases/conformance/types/typeRelationships/subtypesAndSuperTypes/subtypingWithObj…
12460 --- a/tests/cases/conformance/types/typeRelationships/subtypesAndSuperTypes/subtypingWithObjectMemb…
12462 @@ -30,4 +30,8 @@ class A3 {
12466 -}
12474 diff --git a/tests/cases/conformance/types/typeRelationships/subtypesAndSuperTypes/undefinedIsSubty…
12476 --- a/tests/cases/conformance/types/typeRelationships/subtypesAndSuperTypes/undefinedIsSubtypeOfEve…
12478 @@ -118,3 +118,28 @@ class D16 extends Base {
12507 diff --git a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdent…
12509 --- a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdentity.ts
12511 @@ -85,4 +85,8 @@ function foo13(x: any) { }
12515 -function foo14(x: any) { }
12523 diff --git a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdent…
12525 --- a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdentity2.ts
12527 @@ -62,4 +62,7 @@ function foo13(x: any) { }
12531 -function foo14(x: any) { }
12538 diff --git a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdent…
12540 --- a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdentityWith…
12542 @@ -97,4 +97,7 @@ function foo14(x: any) { }
12546 -function foo15(x: any) { }
12553 diff --git a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdent…
12555 --- a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdentityWith…
12557 @@ -97,4 +97,7 @@ function foo14(x: any) { }
12561 -function foo15(x: any) { }
12568 diff --git a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdent…
12570 --- a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdentityWith…
12572 @@ -97,4 +97,7 @@ function foo14(x: any) { }
12576 -function foo15(x: any) { }
12583 diff --git a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdent…
12585 --- a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdentityWith…
12587 @@ -113,4 +113,8 @@ function foo14(x: any) { }
12591 -function foo15(x: any) { }
12599 diff --git a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdent…
12601 --- a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdentityWith…
12603 @@ -84,4 +84,8 @@ function foo13(x: any) { }
12607 -function foo15(x: any) { }
12615 diff --git a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdent…
12617 --- a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdentityWith…
12619 @@ -73,4 +73,6 @@ function foo14(x: any) { }
12623 -function foo15(x: any) { }
12629 diff --git a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdent…
12631 --- a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdentityWith…
12633 @@ -73,4 +73,6 @@ function foo14(x: any) { }
12637 -function foo15(x: any) { }
12643 diff --git a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdent…
12645 --- a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdentityWith…
12647 @@ -97,4 +97,8 @@ function foo14(x: any) { }
12651 -function foo15(x: any) { }
12659 diff --git a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdent…
12661 --- a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdentityWith…
12663 @@ -97,4 +97,8 @@ function foo14(x: any) { }
12667 -function foo15(x: any) { }
12674 diff --git a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdent…
12676 --- a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdentityWith…
12678 @@ -99,4 +99,8 @@ function foo14(x: any) { }
12682 -function foo15(x: any) { }
12689 diff --git a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdent…
12691 --- a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdentityWith…
12693 @@ -111,4 +111,8 @@ function foo14(x: any) { }
12697 -function foo15(x: any) { }
12705 diff --git a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdent…
12707 --- a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdentityWith…
12709 @@ -120,4 +120,11 @@ function foo14(x: any) { }
12713 -function foo15(x: any) { }
12724 diff --git a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdent…
12726 --- a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdentityWith…
12728 @@ -99,4 +99,7 @@ function foo14(x: any) { }
12732 -function foo15(x: any) { }
12738 diff --git a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdent…
12740 --- a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdentityWith…
12742 @@ -99,4 +99,8 @@ function foo14(x: any) { }
12746 -function foo15(x: any) { }
12754 diff --git a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdent…
12756 --- a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdentityWith…
12758 @@ -97,4 +97,8 @@ function foo14(x: any) { }
12762 -function foo15(x: any) { }
12769 diff --git a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdent…
12771 --- a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdentityWith…
12773 @@ -97,4 +97,7 @@ function foo14(x: any) { }
12777 -function foo15(x: any) { }
12784 diff --git a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdent…
12786 --- a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdentityWith…
12788 @@ -99,4 +99,7 @@ function foo14(x: any) { }
12792 -function foo15(x: any) { }
12799 diff --git a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdent…
12801 --- a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdentityWith…
12803 @@ -99,4 +99,7 @@ function foo14(x: any) { }
12807 -function foo15(x: any) { }
12814 diff --git a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdent…
12816 --- a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdentityWith…
12818 @@ -99,4 +99,8 @@ function foo14(x: any) { }
12822 -function foo15(x: any) { }
12830 diff --git a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdent…
12832 --- a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdentityWith…
12834 @@ -72,3 +72,5 @@ function foo13(x: any) { }
12841 diff --git a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdent…
12843 --- a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdentityWith…
12845 @@ -83,4 +83,9 @@ function foo13(x: any) { }
12849 -function foo14(x: any) { }
12858 diff --git a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdent…
12860 --- a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdentityWith…
12862 @@ -92,4 +92,9 @@ function foo13(x: any) { }
12866 -function foo14(x: any) { }
12875 diff --git a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdent…
12877 --- a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdentityWith…
12879 @@ -79,4 +79,6 @@ function foo14(x: any) { }
12883 -function foo15(x: any) { }
12889 diff --git a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdent…
12891 --- a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdentityWith…
12893 @@ -75,4 +75,8 @@ function foo14(x: any) { }
12897 -function foo15(x: any) { }
12905 diff --git a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdent…
12907 --- a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdentityWith…
12909 @@ -69,4 +69,6 @@ function foo13(x: any) { }
12913 -function foo14(x: any) { }
12919 diff --git a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdent…
12921 --- a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdentityWith…
12923 @@ -69,4 +69,8 @@ function foo13(x: any) { }
12927 -function foo14(x: any) { }
12934 diff --git a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdent…
12936 --- a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdentityWith…
12938 @@ -71,4 +71,7 @@ function foo13(x: any) { }
12942 -function foo14(x: any) { }
12948 diff --git a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdent…
12950 --- a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdentityWith…
12952 @@ -71,4 +71,7 @@ function foo13(x: any) { }
12956 -function foo14(x: any) { }
12962 diff --git a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdent…
12964 --- a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdentityWith…
12966 @@ -71,4 +71,6 @@ function foo13(x: any) { }
12970 -function foo14(x: any) { }
12976 diff --git a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdent…
12978 --- a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdentityWith…
12980 @@ -119,3 +119,6 @@ function foo16(x: I);
12988 diff --git a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdent…
12990 --- a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdentityWith…
12992 @@ -122,3 +122,8 @@ function foo16(x: I);
13002 diff --git a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdent…
13004 --- a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdentityWith…
13006 @@ -119,3 +119,6 @@ function foo16(x: I);
13013 diff --git a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdent…
13015 --- a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdentityWith…
13017 @@ -53,4 +53,8 @@ function foo13(x: any) { }
13021 -function foo14(x: any) { }
13028 diff --git a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdent…
13030 --- a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdentityWith…
13032 @@ -116,4 +116,6 @@ function foo15(x: any) { }
13036 -
13040 diff --git a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdent…
13042 --- a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdentityWith…
13044 @@ -35,3 +35,4 @@ function foo6(x: D<number>): string; // error
13049 diff --git a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdent…
13051 --- a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdentityWith…
13053 @@ -85,4 +85,7 @@ function foo13(x: any) { }
13057 -function foo14(x: any) { }
13064 diff --git a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdent…
13066 --- a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdentityWith…
13068 @@ -119,3 +119,6 @@ function foo16(x: I);
13075 diff --git a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdent…
13077 --- a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdentityWith…
13079 @@ -122,3 +122,8 @@ function foo16(x: I);
13088 diff --git a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/typeParametersAr…
13090 --- a/tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/typeParametersAreIdenti…
13092 @@ -73,4 +73,6 @@ interface I2<T extends Date> {
13096 -}
13102 diff --git a/tests/cases/conformance/types/typeRelationships/typeInference/genericCallWithConstrain…
13104 --- a/tests/cases/conformance/types/typeRelationships/typeInference/genericCallWithConstraintsTypeA…
13106 @@ -104,3 +104,6 @@ var r8b = i.foo5(d2, d2); // Derived2
13114 diff --git a/tests/cases/conformance/types/typeRelationships/typeInference/genericCallWithFunctionT…
13116 --- a/tests/cases/conformance/types/typeRelationships/typeInference/genericCallWithFunctionTypedArg…
13118 @@ -19,4 +19,6 @@ var b: {
13122 -var r2 = foo4(b); // T is {} (candidates boolean and {}), U is any (candidates any and {})
13128 diff --git a/tests/cases/conformance/types/typeRelationships/typeInference/genericCallWithObjectTyp…
13130 --- a/tests/cases/conformance/types/typeRelationships/typeInference/genericCallWithObjectTypeArgs2.…
13132 @@ -29,4 +29,6 @@ interface I<T, U> {
13136 -var r4 = f2(i); // Base => Derived
13142 diff --git a/tests/cases/conformance/types/typeRelationships/typeInference/genericCallWithObjectTyp…
13144 --- a/tests/cases/conformance/types/typeRelationships/typeInference/genericCallWithObjectTypeArgsAn…
13146 @@ -19,8 +19,8 @@ function foo<T extends { x: string }>(t: X<T>, t2: X<T>) {
13150 -var c1 = new X<C>();
13151 -var d1 = new X<D>();
13157 @@ -30,4 +30,8 @@ function foo2<T extends C>(t: X<T>, t2: X<T>) {
13161 -var r2 = foo2(c1, c1);
13169 diff --git a/tests/cases/conformance/types/typeRelationships/typeInference/genericCallWithObjectTyp…
13171 --- a/tests/cases/conformance/types/typeRelationships/typeInference/genericCallWithObjectTypeArgsAn…
13173 @@ -35,3 +35,4 @@ var r5 = f3(new Derived(), x => x);
13179 diff --git a/tests/cases/conformance/types/typeRelationships/typeInference/genericClassWithObjectTy…
13181 --- a/tests/cases/conformance/types/typeRelationships/typeInference/genericClassWithObjectTypeArgsA…
13183 @@ -37,6 +37,8 @@ module Class {
13192 @@ -57,4 +59,7 @@ module Interface {
13196 -}
13203 diff --git a/tests/cases/conformance/types/typeRelationships/typeInference/keyofInferenceLowerPrior…
13205 --- a/tests/cases/conformance/types/typeRelationships/typeInference/keyofInferenceLowerPriorityThan…
13207 @@ -44,3 +44,7 @@ function insertOnConflictDoNothing<Req extends object, Def extends object>(_tabl
13209 …insertOnConflictDoNothing(bookTable, ConflictTarget.tableColumns(["serial"]));  // <-- No error he…
13216 diff --git a/tests/cases/conformance/types/union/discriminatedUnionTypes3.ts b/tests/cases/conforma…
13219 --- /dev/null
13221 @@ -0,0 +1,19 @@
13242 --