用途：面向 Rust trait 声明与实现机制，用于回答或排查 trait 定义、实现和约束相关问题。
主要能力：讲解 trait 必需方法与默认方法、关联类型与关联常量、supertrait（trait 自身的约束）、标记 trait（Send、Sync、Sized、Copy、Unpin）及自动 trait 的结构性推导规则；讲解 blanket impl、sealed trait（私有 supertrait 密封）、固有 impl 与 trait impl 的区别；讲解 #[derive(...)] 支持的 std 派生及其要求。
必要用法：用户编写 trait Foo { ... }、impl Trait for Type { ... }，遇到孤儿规则 E0117、coherence E0119、E0184、E0204、E0210、E0277、E0599 等问题时使用。禁止对既非本地 trait 也非本地类型的组合实现 trait，需用本地 newtype 包装；已发布 trait 不得新增必需方法，应改为带默认体的方法；需要保留扩展自由时应密封 trait。
限制与缺失：涉及 dyn Trait 与对象安全应参见 rust-syntax-trait-objects，泛型参数约束参见 rust-syntax-generics，错误码详见 rust-errors-trait-bounds；资料未提供收费、价格、支持平台或具体安装步骤。