SlurpTheo
SlurpTheo
@dragomirtitian https://github.com/microsoft/TypeScript/issues/20863#issuecomment-520553541 This doesn't work for me -- as I want errors on `aD1` & `aD3` as well: ```ts export type Compute2 = {} & { // I usually call...
Although, I can't get `StrictUnion` to work right on this kind of union (`aG1` shouldn't have an error): ```ts type G = { d: Date } | { (): boolean...
> Overall Exact/Closed types seem like the real underlying request for most of these scenarios, so follow #12936 for next steps there. Wowsa, #12936 is quite the chain there 😺...