z.typecasttype typecast<A, T> = A extends T ? A : never;§Type Parameters§A[src]§T[src]§Type§A extends T ? A : never[src]