Hacker News new | ask | show | jobs
by 0x6c6f6c 1712 days ago
Only one small terminology issue: & is an intersection of types, a union is |. So Ensure is an intersection of T and the latter type.

Wouldn't Required suffice here as well for this as opposed to removing the optional qualifier?