VerifyConstraint: T extends U ? T : never

Type Parameters

  • T
  • U