8 replies

Understanding Object Inclusion and Class Instances in TypeScript

Patrick Roza · 2025-08-18T19:08:19.822Z

why does `c` include `{ b: 'c' }`: `Context.TagUnify & { b: 'c'; }>` but `e` is not `typeof d` that has also `b: 'c'`: `Context.TagUnify >` https://effect.website/play/#9640d3894817

why does

c

c include

{ b: 'c' }

{ b: 'c' }

{ b: 'c' }

{ b: 'c' }:

Context.TagUnify<Context.TagClass<"a", "b", "c"> & { b: 'c'; }>

Context.TagUnify<Context.TagClass<"a", "b", "c"> & { b: 'c'; }>

Context.TagUnify<Context.TagClass<"a", "b", "c"> & { b: 'c'; }>

Context.TagUnify<Context.TagClass<"a", "b", "c"> & { b: 'c'; }>
but

e

e is not

typeof d

typeof d

typeof d

typeof d that has also

b: 'c'

b: 'c'

b: 'c'

b: 'c':

Context.TagUnify<Context.TagClass<"a", "b", "c">>

Context.TagUnify<Context.TagClass<"a", "b", "c">>

Context.TagUnify<Context.TagClass<"a", "b", "c">>

Context.TagUnify<Context.TagClass<"a", "b", "c">>
https://effect.website/play/#9640d3894817

Understanding Object Inclusion and Class Instances in TypeScript

Similar Threads

Similar Threads

Similar Threads