relax restrictiveMapper caching restriction

Author: Andarist

src/compiler/checker.ts

@@ -2101,7 +2101,6 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {
     var numericStringType = getTemplateLiteralType(["", ""], [numberType]); // The `${number}` type
 
     var restrictiveMapper: TypeMapper = makeFunctionTypeMapper(t => t.flags & TypeFlags.TypeParameter ? getRestrictiveTypeParameter(t as TypeParameter) : t, () => "(restrictive mapper)");
-    restrictiveMapper.instantiations = voidMap;
     var permissiveMapper: TypeMapper = makeFunctionTypeMapper(t => t.flags & TypeFlags.TypeParameter ? wildcardType : t, () => "(permissive mapper)");
     var uniqueLiteralType = createIntrinsicType(TypeFlags.Never, "never", /*objectFlags*/ undefined, "unique literal"); // `uniqueLiteralType` is a special `never` flagged by union reduction to behave as a literal
     var uniqueLiteralMapper: TypeMapper = makeFunctionTypeMapper(t => t.flags & TypeFlags.TypeParameter ? uniqueLiteralType : t, () => "(unique literal mapper)"); // replace all type parameters with the unique literal type (disregarding constraints)

tests/baselines/reference/circularBaseConstraint.types

@@ -1,8 +1,5 @@
 //// [tests/cases/compiler/circularBaseConstraint.ts] ////
 
-=== Performance Stats ===
-Instantiation count: 2,500
-
 === circularBaseConstraint.ts ===
 // Repro from #54610