Is your feature request related to a problem?
The lower bound of a type parameter must be assignable to its upper bound. Otherwise, there would be no type to satisfy both bounds.
Desired solution
Check this and show an error if the bounds are not compatible.
Possible alternatives (optional)
No response
Screenshots (optional)
No response
Additional Context (optional)
No response