This make it clearer where "is copyable" is needed and where "is in bounds" is needed. No effect on generated code.