>>246
普通に「トレイト境界は型やサブトレイトに対する制約である」でええやん