E4xxx：泛型与特质
自动生成自
src/util/diagnostic/codes/
错误列表
E4001：Generic constraint violated
类别: Generic
消息: Type does not satisfy the generic constraint
帮助: Ensure the type satisfies all required trait bounds
E4002：Trait not found
类别: Generic
消息: Referenced trait does not exist
帮助: Check the trait name or import the correct trait
E4003：Trait implementation missing
类别: Generic
消息: Type does not implement the required trait
帮助: Add a trait implementation for this type
E4004：Conflicting trait implementations
类别: Generic
消息: Multiple trait implementations conflict
帮助: Resolve the conflicting implementations