Exact - ensure T has exactly the properties of Shape (no more) Usage: Exact< { a:number }, { a:number } > -> passes; Exact< { a:number; b: number }, { a:number } > -> fails
type A = Exact<{ a: number }, { a: number }>; // { a: number }type B = Exact<{ a: number; b: number }, { a: number }>; // never Copy
type A = Exact<{ a: number }, { a: number }>; // { a: number }type B = Exact<{ a: number; b: number }, { a: number }>; // never
Exact - ensure T has exactly the properties of Shape (no more) Usage: Exact< { a:number }, { a:number } > -> passes; Exact< { a:number; b: number }, { a:number } > -> fails