Conditional type that resolves to T if D matches Expected, otherwise resolves to a readable error string type.
Conditional type that resolves to T if D matches Expected, otherwise resolves to a readable error string type.