Rust编译报E0282需要类型注解但类型已知 是否为编译器bug？

问题背景 #

我在力扣（LC）练习编程时遇到了如下问题：

报错代码如下：

pub fn largest_rectangle_area(heights: Vec<i32>) -> i32 {
    let mut widths = vec![(0usize, heights.len()); heights.len()];
    let mut stack = vec![];

    for (idx, &x) in heights.iter().enumerate() {
        while let Some(&pos) = stack.last() {
            if x >= heights[pos] {
                break;
            }

            widths[pos].1 = idx;
            stack.pop();
        }

        stack.push(idx);
    }

    todo!()
}

编译器报错信息：

error[E0282]: type annotations needed
  --> src/lib.rs:11:13
   |
11 |             widths[pos].1 = idx;
   |             ^^^^^^^^^^^ cannot infer type
   |
   = note: type must be known at this point

更奇怪的是，如果把对元组单个字段的赋值改成全量更新整个元组，报错就消失了：

pub fn largest_rectangle_area(heights: Vec<i32>) -> i32 {
    let mut widths = vec![(0, heights.len()); heights.len()];
    let mut stack = vec![];

    for (idx, &x) in heights.iter().enumerate() {
        while let Some(&pos) = stack.last() {
            if x >= heights[pos] {
                break;
            }

            widths[pos] = (0, idx); // 执行全量更新
            stack.pop();
        }

        stack.push(idx);
    }
    stack.clear();

    for (idx, &x) in heights.iter().enumerate().rev() {
        while let Some(&pos) = stack.last() {
            if x >= heights[pos] {
                break;
            }

            widths[pos].0 = idx + 1; // 此时使用`.0`访问不会报错
            stack.pop();
        }

        stack.push(idx);
    }
    todo!()
}

请问是我遗漏了什么配置，还是这属于Rust编译器的bug？

更新说明 #

有开发者发现，核心原因是编译器无法推断pos的类型，而pos间接来自enumerate()的返回值，本应为usize类型。
该现象非常反常：执行widths[pos].1 = idx;时编译器无法推断pos类型，但执行widths[pos] = (0, idx);时却可以正常推断。
对应的最小可复现示例（MCVE）如下：

fn _some_fn() {
    let mut widths = vec![(0usize, 0usize); 100];
    let mut stack = vec![];
    //let mut stack:Vec<usize> = vec![]; // 此处只要显式定义类型就能解决报错

    let a = stack.pop().unwrap();
    let idx = 0usize;
    widths[a].1 = idx;

    stack.push(idx);
}

bug记录 #

该问题已经被收录进Rust官方issue跟踪列表。

内容的提问来源于stack exchange，提问作者Svetlin Zarev