### Question

Is it possible to restrict a type parameter to be a reference type? I see you can use T(!new) but I’m looking for the opposite.

• T(==) - type supports equality
• T(0) - type is auto-initializable
• T(00) - type is non-empty
• T(!new) - type may not be a reference type or contain a reference type