Extract<T, U> = T extends U ? T : never
T
U
never
Defined in: node_modules/typescript/lib/lib.es5.d.ts:1618
Extract from T those types that are assignable to U