Ryan Cavanaugh

Seems to be specific to the case where the getter doesn't reference the type parameter

This isn't well-specified enough to be actionable. It seems like you're asking for either negated types, type parameter upper bounds, or possibly exact types, all of which have open issues...

Sorry, just catching up after vacation/sickness. There's a lot to read here but maybe a simple summary: AFAICT, 100% of the behavior described here so far was intentionally designed when...

Reopening to track this since both other issues now target lib.d.ts changes

@MMJZ https://github.com/microsoft/TypeScript/wiki/FAQ#time-marches-on https://github.com/microsoft/TypeScript/wiki/FAQ#what-kind-of-feedback-are-you-looking-for https://github.com/microsoft/TypeScript/wiki/FAQ#this-is-closed-but-should-be-open-or-vice-versa

The error is less about writing to a field with a type that matches the constraint, but rather that the value might not even align as a supertype of the...

This call stack *might* be enough for us to go on. Generally the best way to find out how to get a smaller testcase is to attach to the tsc...

We don't have a solid/minimal repro yet; one would be greatly appreciated

16 files plus whatever `npm` brings in is not minimal

Based on the repro and call stack, this is a duplicate of #53287