Rust 编译器错误码 E0760 解析：async fn 返回类型中的 Self 与父作用域生命周期限制

E0760 是 rustc 历史上的一条错误码，用于拦截 async fn 或返回位置 impl Trait 的返回类型中出现"引用了父作用域生命周期的投影类型或 Self"的写法。本文基于 Rust 仓库中的错误码文档 E0760.md，完整梳理该错误的原始约束、错误与修复代码示例、底层成因，以及它在当前编译器源码中"已不再触发但仍被保留"的维护机制，帮助你在阅读旧版 Rust 报错或排查异步代码时准确理解并绕开这一限制。

E0760 的当前状态：历史错误码，但文档仍保留

在仓库中，E0760 的说明文档 E0760.md 开篇即有一句关键提示：

Note: this error code is no longer emitted by the compiler. （注：该错误码已不再由编译器发出。）

也就是说，在当前 Rust 工具链中，你编写代码时不会再看到 error[E0760] 这个诊断。但按照 Rust 编译器错误码的维护规范，错误码文档并不会因为"不再触发"而被删除。这一点可以从错误码集中总入口 rustc_error_codes/src/lib.rs 得到印证：

• 该文件通过 error_codes! 宏集中登记所有"在用或曾使用过"的错误码编号，0760 依然出现在宏列表中（约第 501 行）；
• 宏上方的注释明确规定：不要从列表中删除条目，对于编译器已不再发出的错误，只需在对应的 error_codes/EXXXX.md 文件中加一句"不再发出"的说明，并将已无法编译的示例标注为 ignore (no longer emitted)。

这与 E0760.md 的实际状态完全吻合：其"错误示例"代码块使用了 ignore 属性（ignore,edition2018），表示该示例仅用于文档展示、不再参与编译测试。这一机制保证了错误码编号空间只增不减，使得旧版工具链的报错、社区文章、搜索结果都能在文档库中找到对应解释。

原始约束：返回类型不能包含引用父作用域生命周期的投影或 Self

尽管 E0760 已退出日常编译，但文档记录的约束本身仍有价值——它描述了异步函数脱糖（desugaring）过程中的一类典型难点。原文的约束陈述是：

async fn/impl trait return type cannot contain a projection or Self that references lifetimes from a parent scope.

（async fn / impl trait 的返回类型不能包含引用了父作用域生命周期的投影类型，或 Self。）

这里涉及两个概念：

• 投影类型（projection）：形如 T::Assoc 的关联类型表达，即某个 trait 在类型 T 上的关联类型展开；
• 父作用域生命周期（lifetimes from a parent scope）：不属于函数签名本身、而是由外层 impl 块或外层泛型参数引入的生命周期参数。

错误示例

文档给出的原始（会被旧版编译器拒绝）代码如下（注意示例声明了 edition2018 属性）：

struct S<'a>(&'a i32);

impl<'a> S<'a> {
    async fn new(i: &'a i32) -> Self {
        S(&22)
    }
}

问题出在返回类型 -> Self 上。在 impl<'a> S<'a> 中，Self 展开即为 S<'a>，其中的生命周期 'a 正是来自外层 impl 块（即"父作用域"）的泛型参数。旧版编译器在处理 async fn 时，会把返回类型包进一个脱糖生成的不透明类型（其 Future::Output 即原返回类型）；而当时对这种"不透明类型输出中包含引用父作用域生命周期的 Self" 的支持尚未完成，因此以 E0760 拦截。

修复方式：把 Self 显式展开为具体类型

文档给出的修复方法非常直接——将 Self 写成具体的 S<'a>：

struct S<'a>(&'a i32);

impl<'a> S<'a> {
    async fn new(i: &'a i32) -> S<'a> {
        S(&22)
    }
}

S<'a> 中虽然同样出现生命周期 'a，但它是显式书写的具体类型，而非经由 Self 或投影间接引用父作用域生命周期，因而满足当时的检查规则。文档还注明：这种写法"在未来某个时点会被允许，但实现当时尚未完成"，并指向 Rust 上游 issue 61949 作为该限制的历史追踪记录（当前版本已不再发出 E0760，即该限制在后续演进中已被解除）。

从源码结构看，这一演进痕迹也体现在当前编译器中：与 async fn 脱糖相关的关联类型（如 Future::Output）的规范化处理，如今分散在 trait 求解与类型检查的多个模块中（例如 rustc_trait_selection/src/traits/select/mod.rs 中对投影与不透明类型 bound 的处理），说明当年的限制点已由更通用的机制接管。

实践要点：当你仍遇到 E0760 时

如果你的代码运行在仍会发出 E0760 的旧版工具链上，处理步骤可归纳为：

1. 定位返回类型：找到报错的 async fn 或返回位置 impl Trait 的返回类型；
2. 展开间接引用：把 Self 写成具体类型（连同生命周期参数），或把投影类型 Trait::Assoc 替换为其实际落地的具体类型；
3. 升级工具链：当前 Rust 版本已不再发出该错误码，若升级不是选项，则按第 2 步改写即可。

即使代码中未直接使用 async fn，凡是在返回位置使用 impl Trait 且内部涉及父作用域生命周期的场景，同理适用上述改写思路。

E0760 在 rustc 文档体系中的位置与维护机制

E0760 文档所在的 rustc_error_codes 是 Rust 编译器集中管理全部错误码说明的 crate，其组织方式值得了解：

• 单一登记入口：rustc_error_codes/src/lib.rs 中的 error_codes! 宏以编号列表登记所有错误码，供 rustc_errors 等 crate 复用；
• 格式规范：每个 error_codes/EXXXX.md 需遵循 RFC 1567 的长错误码解释规范化格式（宏注释中给出了该 RFC 的说明），包含错误陈述、错误示例、修复方式等固定段落；
• 一致性校验：宏内容会被 tidy 工具（check_error_codes_docs）检查，因此新增或修改错误码文档时需保持宏列表与 md 文件一一对应。

对阅读源码的开发者而言，这意味着：任何一篇 EXXXX.md 中的"no longer emitted"注释都是可靠的版本考古线索——错误码不会消失，其文档会持续记录该诊断从引入、触发到退役的完整生命周期。E0760 正是这条规则下"退役但保留"的典型案例：它记录了 async fn 在返回类型处理上的早期局限，也为理解今天异步 trait 支持是如何逐步完善的提供了参考坐标。

小结

• E0760 约束 async fn / 返回位置 impl Trait 的返回类型不得包含引用父作用域生命周期的投影或 Self；
• 标准修复方式是将 Self 显式展开为带完整生命周期参数的具体类型（如 S<'a>）；
• 该错误码在当前编译器中已不再触发，但其编号仍保留在 错误码宏列表 中，文档 E0760.md 按"只增不删"的维护规范持续存档；
• 在旧工具链上遇到该报错时，展开 Self/投影 + 升级工具链是两条可行路径。