Rust: 유형 추론은 존재하지 않는 변수 `__next`에 대한 수정을 제안합니다.

에 만든 2018년 05월 28일 · 3코멘트 · 출처: rust-lang/rust

fn main() {
    let tiles = Default::default();
    for row in &mut tiles {
        for tile in row {
            *tile = 0;
        }
    }

    let tiles: [[usize; 3]; 3] = tiles;
}

다음 오류와 함께 실패합니다.

error[E0282]: type annotations needed
 --> src/main.rs:5:13
  |
4 |         for tile in row {
  |             ---- consider giving `__next` a type
5 |             *tile = 0;
  |             ^^^^^ cannot infer type for `_`

이 코드에서는 형식 유추(정확하게)가 실패합니다. 그러나 수정을 제안하는 변수는 __next 이며 실제로 내 코드에 존재하지 않습니다. 컴파일러에서 생성한 내부 변수일 수 있습니다.

A-diagnostics C-bug

출처

sunjay

😄1

모든 3 댓글

음, 이 경우 변수의 이름을 지정하지 않는 것은 충분히 간단할 것입니다.

diff --git a/src/librustc/infer/error_reporting/need_type_info.rs b/src/librustc/infer/error_reporting/need_type_info.rs
index 7352c14..25bfb3e 100644
--- a/src/librustc/infer/error_reporting/need_type_info.rs
+++ b/src/librustc/infer/error_reporting/need_type_info.rs
@@ -131,7 +131,10 @@ impl<'a, 'gcx, 'tcx> InferCtxt<'a, 'gcx, 'tcx> {
             labels.clear();
             labels.push((pattern.span, format!("consider giving this closure parameter a type")));
         } else if let Some(pattern) = local_visitor.found_local_pattern {
-            if let Some(simple_name) = pattern.simple_name() {
+            // don't put internal desugared-loop identifier in user-facing
+            // message (Issue #51116)
+            let simple_name = pattern.simple_name().filter(|n| n.as_str() != "__next");
+            if let Some(simple_name) = simple_name {
                 labels.push((pattern.span, format!("consider giving `{}` a type", simple_name)));
             } else {
                 labels.push((pattern.span, format!("consider giving the pattern a type")));

그러나 더 근본적으로 이것은 루프에 설정하기에 좋은 레이블이 아닙니다. 루프 변수에 유형 주석을 추가하는 구문이 없습니다.

zackmdavis 에 2018년 05월 28일

😕1 👍1

__next 는 설탕 제거에서 나옵니다.

https://github.com/rust-lang/rust/blob/5ae5361cdd7b4e518d6733fb726521563d5b4cfa/src/librustc/hir/lowering.rs#L3355 -L3501

그러나 더 근본적으로 이것은 루프에 설정하기에 좋은 레이블이 아닙니다. 루프 변수에 유형 주석을 추가하는 구문이 없습니다.

동의합니다. 이 경우를 확인해야 합니다.

estebank 에 2018년 05월 29일

#52418에서 수정되었습니다.

estebank 에 2018년 08월 09일

이 페이지가 도움이 되었나요?

0 / 5 - 0 등급

Rust: 유형 추론은 존재하지 않는 변수 `__next`에 대한 수정을 제안합니다.

모든 3 댓글

관련 문제