Rust 1.75 把 async fn 写进 trait 的语法彻底稳定下来，开发者不再需要靠 return_position_impl_trait 在类型签名里绕一圈。表面是几个新关键字，背后是 trait 系统、类型推断与异步运行时分发协议的三线合流。
为什么这件事拖了三年
async 函数被写进 trait 时，会同时携带隐式的 Future 类型与生命周期参数。早期的 trait 定义里，这两者必须显式摊开，否则编译器拿不到完整的类型信息。从语言层面看，这相当于让 trait 多了一个无法表达的关联类型——编译器内部称之为 opaque return type。RFC 3185 一度试图让编译器自动推断 Future，但被 Send 边界问题卡死。
Send 边界是真正的拦路虎
async fn 默认返回的 Future 是不是 Send 取决于函数体捕获的所有变量。如果 trait 里的 async 方法签名不能告诉调用方「这个 Future 是不是 Send」，调用方就无法在多线程执行器里安全地 .await。整个异步生态从 tokio 到 async-std 都把 Send 当作一等公民来分发任务。一个含糊的 Send 边界，等于把多线程运行时打回单线程。
生命周期推断的连锁改造
async fn in trait 真正落地，需要编译器把 trait 方法里的生命周期参数自动延伸到返回的 Future 上。这看起来只是「borrow checker 多走一步」，但牵动了关联类型投影、impl trait 捕获规则、HRTB 高阶生命周期边界三套机制。每一个机制单独看都合理，叠在一起就会出现「通过但不能编译」「编译过但语义错」的诡异案例。
dyn 兼容性：动态分发的最后一公里
async fn 写进 trait 之后，能不能通过 dyn Trait 形式做动态分发？这条线决定了这套语法能不能真正替代现有的 boxed Future 模式。稳定版本最终引入了 RPITIT（return position impl trait in trait）+ 显式 boxed 转换的双轨设计——既保留零开销的静态分发，又给运行时多态留出口子。
生态的真实冲击
对库作者而言，这意味着 trait 不再需要为 async 版本单独写一份「async 版 trait + 适配器 + blanket impl」的三件套。对框架而言，axum、tower 这类高度依赖 trait 抽象的中间件栈可以瘦身一层适配层。对普通开发者而言，最直接的变化是 .await 终于可以直接接在 trait 方法后面，不再需要先 .into_future()。
仍未收尾的争议
Send 边界在某些泛型场景下仍会触发「手动加 + Send 标注」的回退；dyn 兼容版本还未完整覆盖所有生命周期组合；现有大量返回 Pin<Box<dyn Future>> 的 API 在迁移期需要长期共存。稳定不等于完工——它只是把过去的「未定义行为区」压缩到了一组明确标注的灰色地带。
async fn in trait 的稳定不是终点，而是 Rust 异步生态从「黑魔法适配器」走向「一等类型系统公民」的拐点。接下来的半年里，真正决定这套语法命运的，是生态库是否愿意吃下迁移成本。