The default constraint is allowed in overrides and explicit interface implementations. We should recommend that keyword.

We should also consider not recommending type names in those contexts (we currently do).

Relates to #44578 (test plan for TUnconstrained?)