Wesley Wigham

If it doesn't respect `type: module` (and if it can't load cjs, I can't imagine it does), we can point it at the existing `tslib.es6.js` using a non-`node` `import` condition.

> What the resistance stopping you from fixing them? Most tools have very bespoke behavior, and we care about backwards comparability a lot. * `tslib.es6.js` can't be renamed or moved...

@alfaproject I wrote my rationale down in #26242

Based on the design meeting feedback, this has been swapped to variant 2 from the proposal - using the `*` sigil as a placeholder for inference. We'll need updates to...

> Would this PR enable this scenario? I didn't see a test quite like it. Basically extracting an inferred type parameter from a specified type parameter. As is, no. Other...

Alright, I'll leave this as is then and just mention that it's [available as a branch](https://github.com/weswigham/TypeScript/tree/partial-inference-with-constraint-sites) if we ever change our minds in the future.

This proposal has been updated to use `_` as the sigil following discussion today and investigation of some prior (and concurrent) work in the area.

> Will this allow me to enforce an object with all values of one type and still do a keyof on the keys and get the custom key names?? Not...

> Put that aside, the thing that doesn't fly with me the most is that _ is not a reserved word. We introduce new global type names and contextual keywords...

> I'm allergic to any function/method syntax distinctions unless everything else works out and there's no way around it. We should start with the assumption that there is no distinction...