Rust 如何让 impl Trait 使用适当的生命周期来可变引用具有另一个生命周期的值

struct HasLifetime<'a>( /* ... */ );

impl<'a, 'b: 'a> Foo for &'a mut HasLifetime<'b> { }

fn bar_to_foo<'a, 'b: 'a>(bar: &'a mut Lifetime<'b>) -> impl Foo {
    bar
}

error[E0909]: hidden type for `impl Trait` captures lifetime that does not appear in bounds
 --> src/main.rs:7:60
  |
7 | fn bar_to_foo<'a, 'b: 'a>(bar: &'a mut HasLifetime<'b>) -> impl Trait + 'a {
  |                                                            ^^^^^^^^^^^^^^^
  |
note: hidden type `&'a mut HasLifetime<'b>` captures the lifetime 'b as defined on the function body at 7:1
 --> src/main.rs:7:1
  |
7 | fn bar_to_foo<'a, 'b: 'a>(bar: &'a mut HasLifetime<'b>) -> impl Trait + 'a {
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

fn bar_to_foo<'a, 'b: 'a>(bar: &'a mut Lifetime<'b>) -> Box<Foo + 'a> {
    Box::new(bar)
}

trait Captures<'a> {}
impl<'a, T: ?Sized> Captures<'a> for T {}

fn bar_to_foo<'a, 'b: 'a>(bar: &'a mut HasLifetime<'b>) -> impl Trait + Captures<'b> + 'a {
    bar
}

Rust相关问答推荐

如何在Rust中获得不可辩驳的'if let'模式警告Mutex锁定？""

为什么单元类型(空元组)实现了`Extend`trait？

什么是Rust惯用的方式来使特征向量具有单个向量项的别名？

铁 rust 干线无法使用PowerShell获取环境变量

有没有办法指定只在Rust的测试中有效的断言？

正则表达式中的重叠匹配？(铁 rust 正则式发动机)

如何重命名 clap_derive 中的子命令占位符？

如何在 Rust 中编写一个通用方法，它可以接受任何可以转换为另一个值的值？

具有多个键的 HashMap

如何限制 GtkColumnView 行数

为什么切片时需要参考？

我可以用 Rust 编写一个不可变变量

按下 Ctrl + C 时优雅地停止命令并退出进程

borrow 匹配手臂内部的可变

如何限制通用 const 参数中允许的值？

Rust 中 `Option` 的内存开销不是常量

使用方法、关联函数和自由函数在 Rust 中初始化函数指针之间的区别

通用函数中的生命周期扣除和borrow (通用测试需要)

在 Rust 中有条件地导入？

Rust 中的运行时插件