Fix Self-check

Author: graphemecluster

src/compiler/checker.ts

@@ -2049,6 +2049,24 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {
     const emptyStringType = getStringLiteralType("");
     const zeroType = getNumberLiteralType(0);
     const zeroBigIntType = getBigIntLiteralType({ negative: false, base10Value: "0" });
+    const InfinityType = getNumberLiteralType(Infinity);
+    const regularInfinityType = createLiteralType(TypeFlags.NumberLiteral, Infinity);
+    const negativeInfinityType = getNumberLiteralType(-Infinity);
+    const regularNegativeInfinityType = createLiteralType(TypeFlags.NumberLiteral, -Infinity);
+    const NaNType = getNumberLiteralType(NaN);
+    const regularNaNType = createLiteralType(TypeFlags.NumberLiteral, NaN);
+    InfinityType.regularType = regularInfinityType;
+    InfinityType.freshType = InfinityType;
+    regularInfinityType.regularType = regularInfinityType;
+    regularInfinityType.freshType = InfinityType;
+    negativeInfinityType.freshType = negativeInfinityType;
+    negativeInfinityType.regularType = regularNegativeInfinityType;
+    regularNegativeInfinityType.freshType = negativeInfinityType;
+    regularNegativeInfinityType.regularType = regularNegativeInfinityType;
+    NaNType.freshType = NaNType;
+    NaNType.regularType = regularNaNType;
+    regularNaNType.freshType = NaNType;
+    regularNaNType.regularType = regularNaNType;
 
     const resolutionTargets: TypeSystemEntity[] = [];
     const resolutionResults: boolean[] = [];
@@ -34843,33 +34861,33 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {
             case SyntaxKind.InfinityKeyword:
                 switch (node.operator) {
                     case SyntaxKind.MinusToken:
-                        return getFreshTypeOfLiteralType(getNumberLiteralType(-Infinity));
+                        return negativeInfinityType;
                     case SyntaxKind.PlusToken:
-                        return getFreshTypeOfLiteralType(getNumberLiteralType(Infinity));
+                        return InfinityType;
                 }
                 break;
             case SyntaxKind.NaNKeyword:
                 switch (node.operator) {
                     case SyntaxKind.MinusToken:
                     case SyntaxKind.PlusToken:
-                        return getFreshTypeOfLiteralType(getNumberLiteralType(NaN));
+                        return NaNType;
                 }
                 break;
             case SyntaxKind.Identifier:
                 switch (getResolvedSymbol(node.operand as Identifier)) {
                     case InfinitySymbol:
                         switch (node.operator) {
                             case SyntaxKind.MinusToken:
-                                return getFreshTypeOfLiteralType(getNumberLiteralType(-Infinity));
+                                return negativeInfinityType;
                             case SyntaxKind.PlusToken:
-                                return getFreshTypeOfLiteralType(getNumberLiteralType(Infinity));
+                                return InfinityType;
                         }
                         break;
                     case NaNSymbol:
                         switch (node.operator) {
                             case SyntaxKind.MinusToken:
                             case SyntaxKind.PlusToken:
-                                return getFreshTypeOfLiteralType(getNumberLiteralType(NaN));
+                                return NaNType;
                         }
                         break;
                 }
@@ -36493,9 +36511,9 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {
                     base10Value: parsePseudoBigInt((node as BigIntLiteral).text)
                 }));
             case SyntaxKind.InfinityKeyword:
-                return getFreshTypeOfLiteralType(getNumberLiteralType(Infinity));
+                return InfinityType;
             case SyntaxKind.NaNKeyword:
-                return getFreshTypeOfLiteralType(getNumberLiteralType(NaN));
+                return NaNType;
             case SyntaxKind.TrueKeyword:
                 return trueType;
             case SyntaxKind.FalseKeyword:
@@ -45257,8 +45275,8 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {
         getSymbolLinks(argumentsSymbol).type = getGlobalType("IArguments" as __String, /*arity*/ 0, /*reportErrors*/ true);
         getSymbolLinks(unknownSymbol).type = errorType;
         getSymbolLinks(globalThisSymbol).type = createObjectType(ObjectFlags.Anonymous, globalThisSymbol);
-        getSymbolLinks(InfinitySymbol).type = getFreshTypeOfLiteralType(getNumberLiteralType(Infinity));
-        getSymbolLinks(NaNSymbol).type = getFreshTypeOfLiteralType(getNumberLiteralType(NaN));
+        getSymbolLinks(InfinitySymbol).type = InfinityType;
+        getSymbolLinks(NaNSymbol).type = NaNType;
 
         // Initialize special types
         globalArrayType = getGlobalType("Array" as __String, /*arity*/ 1, /*reportErrors*/ true);