Results 3 comments of 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 😺...