Resolves to an error message type if the type argument could potentially be undefined.
The type to disallow undefined on.
Resolves to an error message type if the type argument could potentially be undefined.