E4xxx：泛型と特質
src/util/diagnostic/codes/から自動生成
エラー一覧
E4001：Generic constraint violated
カテゴリ: Generic
メッセージ: 型がジェネリック制約を満たしていません
ヘルプ: 型が必要なすべてのtrait境界を満たすことを確認してください
E4002：Trait not found
カテゴリ: Generic
メッセージ: 参照されたtraitが存在しません
ヘルプ: trait名を確認するか、正しいtraitをインポートしてください
E4003：Trait implementation missing
カテゴリ: Generic
メッセージ: 型が必要なtraitを実装していません
ヘルプ: この型にtrait実装を追加してください
E4004：Conflicting trait implementations
カテゴリ: Generic
メッセージ: 複数のtrait実装が競合しています
ヘルプ: 競合する実装を解決してください