find-conditional-type-max-depth.ts

import { Project } from "ts-simple-ast";

const project = new Project({ useVirtualFileSystem: true });
const sourceFile = project.createSourceFile("test.ts", `type ToString<T> = "1";\ntype Result = ToString<1>;`);
const toStringTypeAlias = sourceFile.getTypeAliasOrThrow("ToString");
const resultTypeAlias = sourceFile.getTypeAliasOrThrow("Result");

let i = 2;
while (true) {
    const toStringTypeNode = toStringTypeAlias.getTypeNodeOrThrow();
    toStringTypeNode.replaceWithText(writer =>
        writer.writeLine(`T extends ${i} ? "${i}" :`).indent().write(toStringTypeNode.getText()));

    if (resultTypeAlias.getType().getText(resultTypeAlias) !== `"1"`) {
        console.log(sourceFile.getFullText());
        throw "STOP";
    }

    i++;
}