つまり簡単に言えばTrait制約は誤訳ってこと?