(weswig): This is a substitute for a lazy negated type to remove the types indicated by the TypeFacts from the (potential) union the IndexedAccess refers to

[piascikj]

• See discussion in Workaround for nonnull operator on indexed accesses microsoft/TypeScript#19275 for details, and test strictNullNotNullIndexTypeShouldWork for current behavior

---

opened via imdone.io from a code comment on 8212c962cdc by Wesley Wigham

TODO (weswig): This is a substitute for a lazy negated type to remove the types indicated by the TypeFacts from the (potential) union the IndexedAccess refers to id:233

---

https://github.com/imdone/TypeScript/blob/966fa167f5301fa6ffce8efba87b0b3879049949/src/compiler/checker.ts#L12070-L12076