Unwrap NoInfer-wrapped unions before conditional type distribution attempt

[Andarist]

fixes #61076

[Andarist]

@jakebailey could you prepare a playground build for this one? :p

[jakebailey]

@typescript-bot pack this

[typescript-bot]

Starting jobs; this comment will be updated as builds start and complete.

Command	Status	Results
pack this	✅ Started	✅ Results

[Andarist]

I have 2 doubts here:

1. This still doesn't solve the issue with A | NoInfer<B | C>. To solve that, it feels like mapTypeWithAlias and mapType should learn how to deal with those NoInfer-wrapped unions
2. Should the conditional type's result be "repacked" into NoInfer back if needed? 🤔

[typescript-bot]

Hey @jakebailey, I've packed this into an installable tgz. You can install it for testing by referencing it in your package.json like so:

{
    "devDependencies": {
        "typescript": "https://typescript.visualstudio.com/cf7ac146-d525-443c-b23c-0d58337efebc/_apis/build/builds/164685/artifacts?artifactName=tgz&fileId=8CCB4161634DFD3F5FEB343C0D9567C6F11C57ECCBCE5D313B663902C239CF5802&fileName=/typescript-5.8.0-insiders.20250129.tgz"
    }
}

and then running npm install.

---

There is also a playground for this build and an npm module you can use via "typescript": "npm:@typescript-deploys/[email protected]".;