tstyche 5.0.2 → 6.0.0-beta.0

package/build/tstyche.d.ts

@@ -158,6 +158,7 @@ interface ConfigFileOptions {
     checkSuppressedErrors?: boolean;
     failFast?: boolean;
     fixtureFileMatch?: Array<string>;
+    legacyToBe?: boolean;
     plugins?: Array<string>;
     rejectAnyType?: boolean;
     rejectNeverType?: boolean;
@@ -719,7 +720,9 @@ declare class Store {
     #private;
     static manifest: Manifest | undefined;
     static fetch(tag: string): Promise<void>;
-    static load(tag: string): Promise<typeof ts | undefined>;
+    static load(tag: string, options?: {
+        notPatched?: boolean;
+    }): Promise<typeof ts | undefined>;
     static open(): Promise<void>;
     static prune(): Promise<void>;
     static update(): Promise<void>;

package/build/tstyche.js

@@ -924,7 +924,7 @@ class Store {
         }
         await Store.#packageService.ensure(version, Store.manifest);
     }
-    static async load(tag) {
+    static async load(tag, options) {
         let compilerInstance = Store.#compilerInstanceCache.get(tag);
         if (compilerInstance != null) {
             return compilerInstance;
@@ -955,7 +955,13 @@ class Store {
             if (!Version.isSatisfiedWith(packageVersion, "5.3")) {
                 modulePath = Path.resolve(modulePath, "../tsserverlibrary.js");
             }
-            compilerInstance = await Store.#loadPatchedModule(modulePath);
+            if (options?.notPatched) {
+                const moduleSpecifier = pathToFileURL(modulePath).toString();
+                compilerInstance = (await import(moduleSpecifier)).default;
+            }
+            else {
+                compilerInstance = await Store.#loadPatchedModule(modulePath);
+            }
             Store.#compilerInstanceCache.set(tag, compilerInstance);
             Store.#compilerInstanceCache.set(compilerInstance.version, compilerInstance);
         }
@@ -1101,6 +1107,12 @@ class Options {
             group: 2,
             name: "help",
         },
+        {
+            brand: "boolean",
+            description: "Use the patch-based implementation of the '.toBe()' matcher.",
+            group: 4,
+            name: "legacyToBe",
+        },
         {
             brand: "true",
             description: "Print the list of supported versions of the 'typescript' package and exit.",
@@ -1591,6 +1603,7 @@ const defaultOptions = {
     checkSuppressedErrors: true,
     failFast: false,
     fixtureFileMatch: ["**/__fixtures__/*.{ts,tsx}", "**/fixtures/*.{ts,tsx}"],
+    legacyToBe: false,
     plugins: [],
     rejectAnyType: true,
     rejectNeverType: true,
@@ -4350,14 +4363,37 @@ class ExpectDiagnosticText {
     }
 }
 
+class RelationMatcherBase {
+    explain(matchWorker, sourceNode, targetNode) {
+        const sourceTypeText = matchWorker.getTypeText(sourceNode);
+        const targetTypeText = matchWorker.getTypeText(targetNode);
+        const text = matchWorker.assertionNode.isNot
+            ? this.explainText(sourceTypeText, targetTypeText)
+            : this.explainNotText(sourceTypeText, targetTypeText);
+        const origin = DiagnosticOrigin.fromNode(targetNode, matchWorker.assertionNode);
+        return [Diagnostic.error(text, origin)];
+    }
+}
+
+class LegacyToBe extends RelationMatcherBase {
+    explainText = ExpectDiagnosticText.isTheSame;
+    explainNotText = ExpectDiagnosticText.isNotTheSame;
+    match(matchWorker, sourceNode, targetNode) {
+        return {
+            explain: () => this.explain(matchWorker, sourceNode, targetNode),
+            isMatch: matchWorker.checkIsIdenticalTo(sourceNode, targetNode),
+        };
+    }
+}
+
 class MatchWorker {
     assertionNode;
     #compiler;
     #signatureCache = new Map();
     typeChecker;
-    constructor(compiler, typeChecker, assertionNode) {
+    constructor(compiler, program, assertionNode) {
         this.#compiler = compiler;
-        this.typeChecker = typeChecker;
+        this.typeChecker = program.getTypeChecker();
         this.assertionNode = assertionNode;
     }
     checkIsAssignableTo(sourceNode, targetNode) {
@@ -4436,7 +4472,7 @@ class MatchWorker {
 function isStringOrNumberLiteralType(compiler, type) {
     return !!(type.flags & compiler.TypeFlags.StringOrNumberLiteral);
 }
-function isUnionType(compiler, type) {
+function isUnionType$1(compiler, type) {
     return !!(type.flags & compiler.TypeFlags.Union);
 }
 function isUniqueSymbolType(compiler, type) {
@@ -4446,9 +4482,9 @@ function isUniqueSymbolType(compiler, type) {
 class ToAcceptProps {
     #compiler;
     #typeChecker;
-    constructor(compiler, typeChecker) {
+    constructor(compiler, program) {
         this.#compiler = compiler;
-        this.#typeChecker = typeChecker;
+        this.#typeChecker = program.getTypeChecker();
     }
     #explain(matchWorker, sourceNode, targetNode) {
         const isExpression = nodeBelongsToArgumentList(this.#compiler, sourceNode);
@@ -4505,7 +4541,7 @@ class ToAcceptProps {
             }
             return true;
         };
-        if (sourceType != null && isUnionType(this.#compiler, sourceType)) {
+        if (sourceType != null && isUnionType$1(this.#compiler, sourceType)) {
             return sourceType.types.some((sourceType) => check(sourceType, targetType));
         }
         return check(sourceType, targetType);
@@ -4573,7 +4609,7 @@ class ToAcceptProps {
             }
             return { diagnostics, isMatch: false };
         };
-        if (sourceType != null && isUnionType(this.#compiler, sourceType)) {
+        if (sourceType != null && isUnionType$1(this.#compiler, sourceType)) {
             let accumulator = [];
             const isMatch = sourceType.types.some((sourceType) => {
                 const text = matchWorker.assertionNode.isNot
@@ -4627,25 +4663,460 @@ class ToAcceptProps {
     }
 }
 
-class RelationMatcherBase {
-    explain(matchWorker, sourceNode, targetNode) {
-        const sourceTypeText = matchWorker.getTypeText(sourceNode);
-        const targetTypeText = matchWorker.getTypeText(targetNode);
-        const text = matchWorker.assertionNode.isNot
-            ? this.explainText(sourceTypeText, targetTypeText)
-            : this.explainNotText(sourceTypeText, targetTypeText);
-        const origin = DiagnosticOrigin.fromNode(targetNode, matchWorker.assertionNode);
-        return [Diagnostic.error(text, origin)];
+function ensureArray(input) {
+    return input ?? [];
+}
+function length(array) {
+    return array?.length ?? 0;
+}
+
+function isClass(type, compiler) {
+    return !!(type.objectFlags & compiler.ObjectFlags.Class);
+}
+function isConditionalType(type, compiler) {
+    return !!(type.flags & compiler.TypeFlags.Conditional);
+}
+function isFreshLiteralType(type, compiler) {
+    return !!(type.flags & compiler.TypeFlags.Freshable) && type.freshType === type;
+}
+function isIntersectionType(type, compiler) {
+    return !!(type.flags & compiler.TypeFlags.Intersection);
+}
+function isNoInferType(type, compiler) {
+    return !!(type.flags & compiler.TypeFlags.Substitution &&
+        type.constraint.flags & compiler.TypeFlags.Unknown);
+}
+function isObjectType(type, compiler) {
+    return !!(type.flags & compiler.TypeFlags.Object);
+}
+function isUnionType(type, compiler) {
+    return !!(type.flags & compiler.TypeFlags.Union);
+}
+function isTupleType(type, compiler) {
+    return !!(type.objectFlags & compiler.ObjectFlags.Tuple);
+}
+function isTupleTypeReference(type, compiler) {
+    return isObjectType(type, compiler) && isTypeReference(type, compiler) && isTupleType(type.target, compiler);
+}
+function isTypeParameter(type, compiler) {
+    return !!(type.flags & compiler.TypeFlags.TypeParameter);
+}
+function isTypeReference(type, compiler) {
+    return !!(type.objectFlags & compiler.ObjectFlags.Reference);
+}
+
+function getParameterFactsFromTuple(type, position, compiler) {
+    return {
+        isOptional: !!(type.target.elementFlags[position] & compiler.ElementFlags.Optional),
+        isRest: !!(type.target.elementFlags[position] & compiler.ElementFlags.Rest),
+        getType: (typeChecker) => typeChecker.getTypeArguments(type)[position],
+    };
+}
+function getParameterFacts(signature, position, compiler, typeChecker) {
+    if (position >= signature.parameters.length - 1 && compiler.hasRestParameter(signature.getDeclaration())) {
+        const restType = typeChecker.getTypeOfSymbol(signature.parameters.at(-1));
+        if (isTupleTypeReference(restType, compiler)) {
+            const fixedLength = signature.parameters.length - 1;
+            return getParameterFactsFromTuple(restType, position - fixedLength, compiler);
+        }
+    }
+    const parameter = signature.parameters[position];
+    const isRest = isRestParameter(parameter, compiler);
+    return {
+        isOptional: isOptionalParameter(parameter, compiler),
+        isRest,
+        getType: (typeChecker) => getParameterType(parameter, signature, isRest, compiler, typeChecker),
+    };
+}
+function getParameterType(parameter, signature, isRest, compiler, typeChecker) {
+    const type = typeChecker.getTypeOfSymbolAtLocation(parameter, signature.declaration);
+    if (isRest && isObjectType(type, compiler) && isTypeReference(type, compiler)) {
+        return typeChecker.getTypeArguments(type).at(0);
+    }
+    return type;
+}
+function getParameterCount(signature, compiler, typeChecker) {
+    if (hasRestParameter(signature, compiler)) {
+        const restType = typeChecker.getTypeOfSymbol(signature.parameters.at(-1));
+        if (isTupleTypeReference(restType, compiler)) {
+            return signature.parameters.length + typeChecker.getTypeArguments(restType).length - 1;
+        }
+    }
+    return signature.parameters.length;
+}
+function hasRestParameter(signature, compiler) {
+    return signature.declaration != null && compiler.hasRestParameter(signature.declaration);
+}
+function isOptionalParameter(symbol, compiler) {
+    return (symbol.valueDeclaration != null &&
+        compiler.isParameter(symbol.valueDeclaration) &&
+        (symbol.valueDeclaration.questionToken != null || symbol.valueDeclaration.initializer != null));
+}
+function isRestParameter(symbol, compiler) {
+    return (symbol.valueDeclaration != null &&
+        compiler.isParameter(symbol.valueDeclaration) &&
+        symbol.valueDeclaration.dotDotDotToken != null);
+}
+
+function getTargetSymbol(symbol, compiler) {
+    return isCheckFlagSet(symbol, compiler.CheckFlags.Instantiated, compiler)
+        ? symbol.links.target
+        : symbol;
+}
+function isCheckFlagSet(symbol, flag, compiler) {
+    return !!(symbol.flags & compiler.SymbolFlags.Transient && symbol.links.checkFlags & flag);
+}
+function isSymbolFromDefaultLibrary(symbol, program) {
+    if (!symbol.declarations) {
+        return false;
+    }
+    return symbol.declarations.every((declaration) => program.isSourceFileDefaultLibrary(declaration.getSourceFile()));
+}
+
+function getPropertyType(symbol, compiler, compilerOptions, typeChecker) {
+    const type = typeChecker.getTypeOfSymbol(symbol);
+    if (compilerOptions.exactOptionalPropertyTypes && isOptionalProperty(symbol, compiler)) {
+        if (isUnionType(type, compiler)) {
+            type.types = type.types.filter((type) => !("debugIntrinsicName" in type && type.debugIntrinsicName === "missing"));
+            if (type.types.length === 1) {
+                return type.types.at(0);
+            }
+        }
+    }
+    return type;
+}
+function isOptionalProperty(symbol, compiler) {
+    return !!(symbol.flags & compiler.SymbolFlags.Optional);
+}
+function isReadonlyProperty(symbol, compiler) {
+    return !!(isCheckFlagSet(symbol, compiler.CheckFlags.Readonly, compiler) ||
+        (symbol.flags & compiler.SymbolFlags.Property &&
+            compiler.getDeclarationModifierFlagsFromSymbol(symbol) & compiler.ModifierFlags.Readonly) ||
+        (symbol.flags & compiler.SymbolFlags.Accessor && !(symbol.flags & compiler.SymbolFlags.SetAccessor)));
+}
+
+class Structure {
+    #compiler;
+    #compilerOptions;
+    #program;
+    #resultCache = new Map();
+    #typeChecker;
+    constructor(compiler, program) {
+        this.#compiler = compiler;
+        this.#compilerOptions = program.getCompilerOptions();
+        this.#program = program;
+        this.#typeChecker = program.getTypeChecker();
+    }
+    #compareMaybeNullish(a, b) {
+        if (a != null && b != null) {
+            return this.compare(a, b);
+        }
+        return !a && !b;
+    }
+    #compareTypeOfSymbol(a, b) {
+        const aTypeOfSymbol = a && this.#typeChecker.getTypeOfSymbol(a);
+        const bTypeOfSymbol = b && this.#typeChecker.getTypeOfSymbol(b);
+        return this.#compareMaybeNullish(aTypeOfSymbol, bTypeOfSymbol);
+    }
+    compare(a, b) {
+        a = this.#normalize(a);
+        b = this.#normalize(b);
+        if (a === b) {
+            return true;
+        }
+        if (a.flags & this.#compiler.TypeFlags.Any) {
+            return !!(b.flags & this.#compiler.TypeFlags.Any);
+        }
+        if (a.flags & this.#compiler.TypeFlags.Never) {
+            return !!(b.flags & this.#compiler.TypeFlags.Never);
+        }
+        if (a.flags & this.#compiler.TypeFlags.Undefined) {
+            return !!(b.flags & this.#compiler.TypeFlags.Undefined);
+        }
+        if (isIntersectionType(a, this.#compiler) || isIntersectionType(b, this.#compiler)) {
+            if (isIntersectionType(a, this.#compiler) &&
+                isIntersectionType(b, this.#compiler) &&
+                a.types.length === b.types.length &&
+                a.types.every((aType, i) => this.compare(aType, b.types[i]))) {
+                return true;
+            }
+            return (this.compareProperties(a, b) &&
+                this.compareSignatures(a, b, this.#compiler.SignatureKind.Call) &&
+                this.compareSignatures(a, b, this.#compiler.SignatureKind.Construct) &&
+                this.compareIndexSignatures(a, b));
+        }
+        if (isUnionType(a, this.#compiler) || isUnionType(b, this.#compiler)) {
+            if (isUnionType(a, this.#compiler) && isUnionType(b, this.#compiler)) {
+                return this.compareUnions(a, b);
+            }
+            return false;
+        }
+        if (isTupleTypeReference(a, this.#compiler) || isTupleTypeReference(b, this.#compiler)) {
+            if (isTupleTypeReference(a, this.#compiler) && isTupleTypeReference(b, this.#compiler)) {
+                return this.compareTuples(a, b);
+            }
+            return false;
+        }
+        if (isTypeParameter(a, this.#compiler) || isTypeParameter(b, this.#compiler)) {
+            if (isTypeParameter(a, this.#compiler) && isTypeParameter(b, this.#compiler)) {
+                return this.compareTypeParameter(a, b);
+            }
+            return false;
+        }
+        if (isConditionalType(a, this.#compiler) || isConditionalType(b, this.#compiler)) {
+            if (isConditionalType(a, this.#compiler) && isConditionalType(b, this.#compiler)) {
+                return this.compareConditionalTypes(a, b);
+            }
+            return false;
+        }
+        if (isObjectType(a, this.#compiler) || isObjectType(b, this.#compiler)) {
+            if (isObjectType(a, this.#compiler) && isObjectType(b, this.#compiler)) {
+                return this.compareObjects(a, b);
+            }
+            return false;
+        }
+        return false;
+    }
+    compareConditionalTypes(a, b) {
+        return (this.compare(a.checkType, b.checkType) &&
+            this.compare(a.extendsType, b.extendsType) &&
+            this.compare(this.#typeChecker.getTypeAtLocation(a.root.node.trueType), this.#typeChecker.getTypeAtLocation(b.root.node.trueType)) &&
+            this.compare(this.#typeChecker.getTypeAtLocation(a.root.node.falseType), this.#typeChecker.getTypeAtLocation(b.root.node.falseType)));
+    }
+    compareIndexSignatures(a, b) {
+        const aSignatures = this.#getIndexSignatures(a);
+        const bSignatures = this.#getIndexSignatures(b);
+        if (aSignatures.length !== bSignatures.length) {
+            return false;
+        }
+        for (let i = 0; i < aSignatures.length; i++) {
+            if (aSignatures[i].isReadonly !== bSignatures[i].isReadonly) {
+                return false;
+            }
+            if (!this.compare(aSignatures[i].keyType, bSignatures[i].keyType)) {
+                return false;
+            }
+            if (!this.compare(aSignatures[i].type, bSignatures[i].type)) {
+                return false;
+            }
+        }
+        return true;
+    }
+    compareProperties(a, b) {
+        const aProperties = this.#typeChecker.getPropertiesOfType(a);
+        const bProperties = this.#typeChecker.getPropertiesOfType(b);
+        if (aProperties.length !== bProperties.length) {
+            return false;
+        }
+        for (const aProperty of aProperties) {
+            const bProperty = bProperties.find((bProperty) => bProperty.escapedName === aProperty.escapedName);
+            if (!bProperty) {
+                return false;
+            }
+            if (aProperty === bProperty) {
+                continue;
+            }
+            const aAccessibility = this.#compiler.getDeclarationModifierFlagsFromSymbol(aProperty) &
+                this.#compiler.ModifierFlags.NonPublicAccessibilityModifier;
+            const bAccessibility = this.#compiler.getDeclarationModifierFlagsFromSymbol(bProperty) &
+                this.#compiler.ModifierFlags.NonPublicAccessibilityModifier;
+            if (aAccessibility !== bAccessibility) {
+                return false;
+            }
+            if (aAccessibility) {
+                if (getTargetSymbol(aProperty, this.#compiler) !== getTargetSymbol(bProperty, this.#compiler)) {
+                    return false;
+                }
+            }
+            if (isOptionalProperty(aProperty, this.#compiler) !== isOptionalProperty(bProperty, this.#compiler)) {
+                return false;
+            }
+            if (isReadonlyProperty(aProperty, this.#compiler) !== isReadonlyProperty(bProperty, this.#compiler)) {
+                return false;
+            }
+            const aType = getPropertyType(aProperty, this.#compiler, this.#compilerOptions, this.#typeChecker);
+            const bType = getPropertyType(bProperty, this.#compiler, this.#compilerOptions, this.#typeChecker);
+            if (!this.compare(aType, bType)) {
+                return false;
+            }
+        }
+        return true;
+    }
+    compareObjects(a, b) {
+        const key = this.#getCacheKey(a, b);
+        const result = this.#resultCache.get(key);
+        if (result != null) {
+            return result !== 2;
+        }
+        this.#resultCache.set(key, 0);
+        if (isTypeReference(a, this.#compiler) &&
+            !isClass(a, this.#compiler) &&
+            isTypeReference(b, this.#compiler) &&
+            !isClass(b, this.#compiler)) {
+            const isSame = this.compareTypeReferences(a, b);
+            if (isSame != null) {
+                this.#resultCache.set(key, isSame ? 1 : 2);
+                return isSame;
+            }
+        }
+        const isSame = this.compareProperties(a, b) &&
+            this.compareSignatures(a, b, this.#compiler.SignatureKind.Call) &&
+            this.compareSignatures(a, b, this.#compiler.SignatureKind.Construct) &&
+            this.compareIndexSignatures(a, b);
+        this.#resultCache.set(key, isSame ? 1 : 2);
+        return isSame;
+    }
+    compareSignatures(a, b, kind) {
+        const aSignatures = this.#getSignatures(a, kind);
+        const bSignatures = this.#getSignatures(b, kind);
+        if (length(aSignatures) !== length(bSignatures)) {
+            return false;
+        }
+        for (let i = 0; i < aSignatures.length; i++) {
+            if (!this.compareSignature(aSignatures[i], bSignatures[i])) {
+                return false;
+            }
+        }
+        return true;
+    }
+    compareSignature(a, b) {
+        if (length(a.typeParameters) !== length(b.typeParameters)) {
+            return false;
+        }
+        if (a.typeParameters != null && b.typeParameters != null) {
+            for (let i = 0; i < a.typeParameters.length; i++) {
+                if (!this.compareTypeParameter(a.typeParameters[i], b.typeParameters[i])) {
+                    return false;
+                }
+            }
+        }
+        if (!this.#compareTypeOfSymbol(a.thisParameter, b.thisParameter)) {
+            return false;
+        }
+        if (!this.compareParameters(a, b)) {
+            return false;
+        }
+        if (!this.compare(this.#typeChecker.getReturnTypeOfSignature(a), this.#typeChecker.getReturnTypeOfSignature(b))) {
+            return false;
+        }
+        const aTypePredicate = this.#typeChecker.getTypePredicateOfSignature(a);
+        const bTypePredicate = this.#typeChecker.getTypePredicateOfSignature(b);
+        if (aTypePredicate?.kind !== bTypePredicate?.kind ||
+            !this.#compareMaybeNullish(aTypePredicate?.type, bTypePredicate?.type)) {
+            return false;
+        }
+        return true;
+    }
+    compareParameters(a, b) {
+        const aParametersCount = getParameterCount(a, this.#compiler, this.#typeChecker);
+        const bParametersCount = getParameterCount(b, this.#compiler, this.#typeChecker);
+        if (aParametersCount !== bParametersCount) {
+            return false;
+        }
+        for (let i = 0; i < aParametersCount; i++) {
+            const aParameter = getParameterFacts(a, i, this.#compiler, this.#typeChecker);
+            const bParameter = getParameterFacts(b, i, this.#compiler, this.#typeChecker);
+            if (aParameter.isOptional !== bParameter.isOptional) {
+                return false;
+            }
+            if (aParameter.isRest !== bParameter.isRest) {
+                return false;
+            }
+            if (!this.compare(aParameter.getType(this.#typeChecker), bParameter.getType(this.#typeChecker))) {
+                return false;
+            }
+        }
+        return true;
+    }
+    compareTuples(a, b) {
+        if (a.target.readonly !== b.target.readonly) {
+            return false;
+        }
+        const aTypeArguments = this.#typeChecker.getTypeArguments(a);
+        const bTypeArguments = this.#typeChecker.getTypeArguments(b);
+        if (length(aTypeArguments) !== length(bTypeArguments)) {
+            return false;
+        }
+        for (let i = 0; i < aTypeArguments.length; i++) {
+            if (a.target.elementFlags[i] !== b.target.elementFlags[i]) {
+                return false;
+            }
+            if (!this.compare(aTypeArguments[i], bTypeArguments[i])) {
+                return false;
+            }
+        }
+        return true;
+    }
+    compareTypeParameter(a, b) {
+        if (!this.#compareMaybeNullish(this.#typeChecker.getBaseConstraintOfType(a), this.#typeChecker.getBaseConstraintOfType(b)) ||
+            !this.#compareMaybeNullish(this.#typeChecker.getDefaultFromTypeParameter(a), this.#typeChecker.getDefaultFromTypeParameter(b))) {
+            return false;
+        }
+        return true;
+    }
+    compareTypeReferences(a, b) {
+        if (!this.#compareTypeOfSymbol(a.symbol, b.symbol)) {
+            if (isSymbolFromDefaultLibrary(a.symbol, this.#program) || isSymbolFromDefaultLibrary(b.symbol, this.#program)) {
+                return false;
+            }
+            return;
+        }
+        if (length(a.typeArguments) !== length(b.typeArguments)) {
+            return false;
+        }
+        return ensureArray(a.typeArguments).every((type, i) => this.compare(type, ensureArray(b.typeArguments)[i]));
+    }
+    compareUnions(a, b) {
+        if (a.types.length !== b.types.length) {
+            return false;
+        }
+        return (a.types.every((aType) => b.types.some((bType) => this.compare(aType, bType))) &&
+            b.types.every((bType) => a.types.some((aType) => this.compare(bType, aType))));
+    }
+    #getCacheKey(a, b) {
+        return [a.id, b.id].sort().join(":");
+    }
+    #getSignatures(type, kind) {
+        if (isIntersectionType(type, this.#compiler)) {
+            return type.types.flatMap((type) => this.#getSignatures(type, kind));
+        }
+        return this.#typeChecker.getSignaturesOfType(type, kind);
+    }
+    #getIndexSignatures(type) {
+        if (isIntersectionType(type, this.#compiler)) {
+            return type.types.flatMap((type) => this.#getIndexSignatures(type));
+        }
+        return this.#typeChecker.getIndexInfosOfType(type);
+    }
+    #normalize(type) {
+        if (isFreshLiteralType(type, this.#compiler)) {
+            return type.regularType;
+        }
+        if (isNoInferType(type, this.#compiler)) {
+            return type.baseType;
+        }
+        if (isUnionType(type, this.#compiler) || isIntersectionType(type, this.#compiler)) {
+            const candidateType = this.#normalize(type.types[0]);
+            if (type.types.every((type) => this.compare(this.#normalize(type), candidateType))) {
+                return candidateType;
+            }
+        }
+        return type;
     }
 }
 
 class ToBe extends RelationMatcherBase {
+    #structure;
+    constructor(compiler, program) {
+        super();
+        this.#structure = new Structure(compiler, program);
+    }
     explainText = ExpectDiagnosticText.isTheSame;
     explainNotText = ExpectDiagnosticText.isNotTheSame;
     match(matchWorker, sourceNode, targetNode) {
         return {
             explain: () => this.explain(matchWorker, sourceNode, targetNode),
-            isMatch: matchWorker.checkIsIdenticalTo(sourceNode, targetNode),
+            isMatch: this.#structure.compare(matchWorker.getType(sourceNode), matchWorker.getType(targetNode)),
         };
     }
 }
@@ -4974,8 +5445,8 @@ class ToRaiseError {
 
 class ExpectService {
     #compiler;
+    #program;
     #reject;
-    #typeChecker;
     toAcceptProps;
     toBe;
     toBeApplicable;
@@ -4985,12 +5456,12 @@ class ExpectService {
     toBeConstructableWith;
     toHaveProperty;
     toRaiseError;
-    constructor(compiler, typeChecker, reject) {
+    constructor(compiler, program, reject, resolvedConfig) {
         this.#compiler = compiler;
+        this.#program = program;
         this.#reject = reject;
-        this.#typeChecker = typeChecker;
-        this.toAcceptProps = new ToAcceptProps(compiler, typeChecker);
-        this.toBe = new ToBe();
+        this.toAcceptProps = new ToAcceptProps(compiler, program);
+        this.toBe = resolvedConfig.legacyToBe ? new LegacyToBe() : new ToBe(compiler, program);
         this.toBeApplicable = new ToBeApplicable(compiler);
         this.toBeAssignableFrom = new ToBeAssignableFrom();
         this.toBeAssignableTo = new ToBeAssignableTo();
@@ -5004,7 +5475,7 @@ class ExpectService {
         if (!argumentOrTypeArgumentIsProvided("source", "Source", assertionNode.source[0], assertionNode.node.expression, onDiagnostics)) {
             return;
         }
-        const matchWorker = new MatchWorker(this.#compiler, this.#typeChecker, assertionNode);
+        const matchWorker = new MatchWorker(this.#compiler, this.#program, assertionNode);
         if (!(matcherNameText === "toRaiseError" && assertionNode.isNot === false) &&
             this.#reject.argumentType([
                 ["source", assertionNode.source[0]],
@@ -5068,9 +5539,9 @@ class Reject {
     #compiler;
     #rejectedArgumentTypes = new Set();
     #typeChecker;
-    constructor(compiler, typeChecker, resolvedConfig) {
+    constructor(compiler, program, resolvedConfig) {
         this.#compiler = compiler;
-        this.#typeChecker = typeChecker;
+        this.#typeChecker = program.getTypeChecker();
         if (resolvedConfig?.rejectAnyType) {
             this.#rejectedArgumentTypes.add("any");
         }
@@ -5227,15 +5698,15 @@ class TestTreeWalker {
     #position;
     #resolvedConfig;
     #whenService;
-    constructor(compiler, typeChecker, resolvedConfig, onFileDiagnostics, options) {
+    constructor(compiler, program, resolvedConfig, onFileDiagnostics, options) {
         this.#compiler = compiler;
         this.#resolvedConfig = resolvedConfig;
         this.#onFileDiagnostics = onFileDiagnostics;
         this.#cancellationToken = options.cancellationToken;
         this.#hasOnly = options.hasOnly || resolvedConfig.only != null || options.position != null;
         this.#position = options.position;
-        const reject = new Reject(compiler, typeChecker, resolvedConfig);
-        this.#expectService = new ExpectService(compiler, typeChecker, reject);
+        const reject = new Reject(compiler, program, resolvedConfig);
+        this.#expectService = new ExpectService(compiler, program, reject, resolvedConfig);
         this.#whenService = new WhenService(reject, onFileDiagnostics);
     }
     async #resolveRunMode(flags, node) {
@@ -5425,9 +5896,8 @@ class FileRunner {
         }
         const semanticDiagnostics = languageService?.getSemanticDiagnostics(file.path);
         const program = languageService?.getProgram();
-        const typeChecker = program?.getTypeChecker();
         const sourceFile = program?.getSourceFile(file.path);
-        if (!sourceFile) {
+        if (!program || !sourceFile) {
             return;
         }
         const directiveRanges = Directive.getDirectiveRanges(this.#compiler, sourceFile);
@@ -5451,7 +5921,7 @@ class FileRunner {
         }
         const testTree = this.#collectService.createTestTree(sourceFile, semanticDiagnostics);
         this.#suppressedService.match(testTree);
-        return { runModeFlags, testTree, typeChecker };
+        return { runModeFlags, testTree, program };
     }
     async #run(file, fileResult, cancellationToken) {
         if (!existsSync(file.path)) {
@@ -5469,7 +5939,7 @@ class FileRunner {
         const onFileDiagnostics = (diagnostics) => {
             this.#onDiagnostics(diagnostics, fileResult);
         };
-        const testTreeWalker = new TestTreeWalker(this.#compiler, facts.typeChecker, this.#resolvedConfig, onFileDiagnostics, {
+        const testTreeWalker = new TestTreeWalker(this.#compiler, facts.program, this.#resolvedConfig, onFileDiagnostics, {
             cancellationToken,
             hasOnly: facts.testTree.hasOnly,
             position: file.position,
@@ -5481,7 +5951,7 @@ class FileRunner {
 class Runner {
     #eventEmitter = new EventEmitter();
     #resolvedConfig;
-    static version = "5.0.2";
+    static version = "6.0.0-beta.0";
     constructor(resolvedConfig) {
         this.#resolvedConfig = resolvedConfig;
     }
@@ -5538,7 +6008,7 @@ class Runner {
         for (const target of this.#resolvedConfig.target) {
             const targetResult = new TargetResult(target, files);
             EventEmitter.dispatch(["target:start", { result: targetResult }]);
-            const compiler = await Store.load(target);
+            const compiler = await Store.load(target, { notPatched: !this.#resolvedConfig.legacyToBe });
             if (compiler) {
                 const fileRunner = new FileRunner(compiler, this.#resolvedConfig);
                 for (const file of files) {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "tstyche",
-  "version": "5.0.2",
+  "version": "6.0.0-beta.0",
   "description": "Everything You Need for Type Testing.",
   "keywords": [
     "typescript",