## Summary Add information about the upper bound or the constraints of the type variable to the `SpecializationError` diagnostics.
## Summary Add information about the upper bound or the constraints of the type variable to the `SpecializationError` diagnostics.