高级生命周期与类型系统

核心问题

为什么这个类型转换就是编译不过？

类型系统的边界往往出乎意料。

HRTB + dyn Trait Object 冲突

问题代码

// ❌ HRTB 不能装进 dyn trait object
pub type ConnFn<T> =
    dyn for<'c> FnOnce(&'c mut PgConnection) -> BoxFuture<'c, T> + Send;