制限なしの型パラメータを制限してるだけでしょ

<T>　←制限ナシ
<T: Eq>　←Eqで制限
<T: Copy>　←Copyで制限
<T: Eq + Copy>　←Eq+Copyで制限

制約って言ってる人の感覚のほうが俺も近い
（型パラメータの型を）制約ってことでしょ

> 使える機能が増えて便利になることがプログラミングの本質

そんな主張生まれて初めて目にしたわ正直ｗ