Is your feature request related to a problem?

Use type parameter constraints to check the assignability of some type to a type parameter type and vice versa and between two type parameter types.

Example: Can an attribute of type T (sub String) override an attribute of type String?

Desired solution

Replace the lower type by its upper bound and the upper type by its lower bound.

Possible alternatives (optional)

No response

Screenshots (optional)

No response

Additional Context (optional)

No response