Collapses a union type into the intersection of its members.
Uses contravariant function-parameter inference to turn A | B | C into A & B & C. Used
by Inheritance to merge the templates inferred from multiple parent shapes into a
single object carrying every inherited property.
Collapses a union type into the intersection of its members.
Uses contravariant function-parameter inference to turn
A | B | CintoA & B & C. Used by Inheritance to merge the templates inferred from multiple parent shapes into a single object carrying every inherited property.