3 ms·Yes, you have to specify the constraint for code that assumes the constraint to type-check.by 1000units 7y agoYes, you have to specify the constraint for code that assumes the constraint to type-check.