rustc 错误添加 HRTB#

我第一次遇见 rustc 编译器 bug. 简单来说，因为 &'static str 看上去像引用，rustc 在某些触发条件下，总是会给接受它的闭包添加一个 HRTB（高阶特征约束，也就是 for<'a> 这种语法），以致于要求一个固定接受 &'static str 的闭包能接受任意生命周期的 &str .

我在写 creeper 的并行更新时用了 futures::stream::iter 从而发现了这个问题。另一个有趣的现象是报错一般出现在别的文件，而不是定义闭包的地方。看上去，rustc 的这个行为只会在让 Future 试图满足 trait bound 时发生。

一个尽量最小的可复现实例，需要 futures = "0.3.32" :

1
#![allow(unused)]
2

3
// futures = "0.3.32"
4
use futures::{StreamExt, TryStreamExt, stream};
5

6
const ID: [&str; 2] = ["foo", "bar"];
7

8
struct Library;
9

10
impl Library {
11
    async fn update(&self) -> Result<(), ()> {
12
        // compiles
13
        #[cfg(true)]
14
        stream::iter([0, 1])
15
            .map(|idx| async move {
16
                let _ = ID[idx];
17
                Ok(())
18
            })
19
            .buffer_unordered(2)
20
            .try_collect::<()>()
21
            .await?;
22

23
        // error
24
        #[cfg(false)]
25
        stream::iter(ID)
26
            .map(|id| async move {
27
                let _ = id;
28
                Ok(())
29
            })
30
            .buffer_unordered(2)
31
            .try_collect::<()>()
32
            .await?;
33

34
        Ok(())
35
    }
36
}
37

38
trait Execute {
39
    fn execute(self, lib: &Library) -> impl std::future::Future<Output = Result<(), ()>> + Send;
40
}
41

42
struct Update;
43

44
impl Execute for Update {
45
    async fn execute(self, lib: &Library) -> Result<(), ()> {
46
        lib.update().await?;
47
        Ok(())
48
    }
49
}