Ryan Cavanaugh

`Object.assign` is not 100% correctly representable in the type system so the resulting types may not be perfect. See #10727 for the needed operator. > TS shouldn't lose type informations...

> Even though Data["DELETED"] IS omitted... `Omit` is a userland type alias, not a primitive operation, so TS isn't capable of using it to do the kind of higher-order reasoning...

@denis-migdal the documentation tries to explain concepts so that you can understand how things work at a high level, and assumes that the reader is capable of doing simple experiments...

The docs say > Constructs a type by excluding from UnionType all union members that are assignable to ExcludedMember `string` isn't a union. A union type looks like this: `A...

The docs never imply that strings are unions, nor are any unions in TypeScript infinite as would be required. I don't know how to write documentation in a way that...

@typescript-bot test this @typescript-bot test top100 @typescript-bot user test this @typescript-bot user test tsserver @typescript-bot test tsserver top100 @typescript-bot run dt @typescript-bot perf test this @typescript-bot pack this

> but to my knowledge there's no way to allow that without also allowing... Correct. "This is why we need `Comparable`!" got brought up multiple times in the discussion 🙂

The conservative approach still fails basic desirable things like subtyping the output or `a.intersect(b) === b.intersect(a)`

This API appears to be quite old so I'd assume it's well-supported by now https://github.com/webrtc/samples/blob/gh-pages/src/content/getusermedia/pan-tilt-zoom/js/main.js#L29

My thinking was that this is useful (only) for the top-level "solution" tsconfig ``` tsconfig.json