トレイトの宣言に重複して関連付けられた型がないかを検査します。