Rust: Inferensi jenis menyarankan koreksi ke variabel yang tidak ada `__next`

Dibuat pada 28 Mei 2018  ·  3Komentar  ·  Sumber: rust-lang/rust

Kode ini: ( Tautan taman bermain )

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

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

Gagal dengan kesalahan ini:

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 `_`

Ketik inferensi (seharusnya) gagal pada kode ini. Namun, variabel yang disarankan untuk diperbaiki disebut __next dan sebenarnya tidak ada dalam kode saya. Ini mungkin beberapa variabel internal yang dihasilkan oleh kompiler.

A-diagnostics C-bug
Sumber
picture sunjay
😄1

Semua 3 komentar

Nah, menolak menyebutkan nama variabel dalam kasus ini akan cukup sederhana—

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")));

Tetapi yang lebih mendasar, ini bukan label yang baik untuk disetel pada loop: kami tidak memiliki sintaks untuk mengetik-anotasi variabel loop.

zackmdavis picture zackmdavis pada 28 Mei 2018
😕1 👍1

__next berasal dari desugaring:

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

Tetapi yang lebih mendasar, ini bukan label yang baik untuk disetel pada loop: kami tidak memiliki sintaks untuk mengetik-anotasi variabel loop.

Setuju, kita harus memeriksa kasus ini.

estebank picture estebank pada 29 Mei 2018

Diperbaiki di #52418.

estebank picture estebank pada 9 Agu 2018
Apakah halaman ini membantu?
0 / 5 - 0 peringkat

Masalah terkait

lambda-fairy picture lambda-fairy  ·  3Komentar
dtolnay picture dtolnay  ·  3Komentar
nikomatsakis picture nikomatsakis  ·  3Komentar
mcarton picture mcarton  ·  3Komentar
jmegaffin picture jmegaffin  ·  3Komentar