Rust 的命名实现草案旨在绕过孤儿规则，提供更灵活的 trait 实现。允许在任意 crate 中定义，支持多种类型转换和泛型使用，同时禁止某些 trait 的命名实现以确保安全性。

孤儿规则是Rust语言中的关键概念，确保trait实现的连贯性。该规则要求在实现trait时，类型或trait必须至少有一个是在当前crate中定义的，以避免冲突。如果trait和类型均为外部定义，则无法实现。