Verifies that type T extends U, otherwise resolves to never.
The type to verify.
The type to verify against.
8Crafter
Verifies that type T extends U, otherwise resolves to never.