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