用途：当 Rust 编译出现 trait 相关错误时，按错误码定位根因并给出修复方向。核心思路是区分四类根因：缺少 trait 导入、泛型缺少 bound、类型未实现 trait、以及看似 trait 问题实为类型推断失败。
主要能力：提供错误码速查表（E0277 trait bound 未满足、E0599 方法未找到、E0220 关联类型不存在、E0308 类型不匹配、E0282 需要类型标注），并给出决策树判断修复应落在 where 子句、impl 还是 use 导入。强调阅读完整错误块而非首行，因为 rustc 会列出缺失的 bound 与来源 crate。
使用方式：按错误码进入对应分支。E0277 先判断 T 是泛型参数还是具体类型：泛型则补 T: Trait 或 where 子句；自有类型可 #[derive(Trait)] 或手写 impl；外部类型受孤儿规则限制，需用 newtype 包装。E0599 通常补 use the::Trait; 将方法引入作用域，也可能是拼写、&mut self 绑定或 Cargo feature 未启用。E0220 使用 trait 声明的准确关联类型名。E0308 在具体类型与 dyn Trait 之间用 Box::new 或 &value as &dyn Trait 转换，impl Trait 返回需统一为单一具体类型或 Box<dyn Trait>。E0282 添加 let x: T、turbofish ::<T>() 或完全限定语法。
适用场景：日常 Rust 编译排错、泛型与 trait 设计、trait 对象与类型擦除、升级到 1.84 后出现的 coherence 冲突。
限制：资料未提供安装命令、价格、平台支持或效果数据。关于下一代 trait solver，资料仅说明 1.84.0 起其用于 trait impl 的 coherence 检查且为默认，其他场景仍用旧 solver，-Znext-solver 仅限 nightly，不应在 stable 或生产构建依赖。资料未提供更多版本或性能信息。