"Type Parameter Constraints" fully verified