ConstrainedTypeAssignments, shouldSupportSubstractionAssignment
ConstrainedTypeAssignments, shouldSupportSubstractionAssignmentWithValueOfUnderlyingType