Nested tuples {unknown}

[danielhuang]

rust-analyzer version: rust-analyzer version: 0.0.0 (3410102 2022-06-30) (built locally)

also occurs on https://ra-wasm.netlify.app/

rustc version: rustc 1.64.0-nightly (7425fb293 2022-06-30)

---

Given the following code:

use std::collections::HashMap;

fn main() {
    let map: HashMap<_, _> = [((1, 2), 3), ((4, 5), 6)].into_iter().collect();
}

rust-analyzer reports:

[flodiebold]

Seems we don't consider tuples as implementing Eq (or PartialEq or PartialOrd or possibly more); e.g. (1i32,).eq() does not get resolved. (The HashMap FromIterator impl requires Eq for the key.) Probably we have some problem expanding the macro defining these impls?

[flodiebold]

Seems we don't like these repeats:

                $( ${ignore(T)} self.${index()} == other.${index()} )&&+

[Veykril]

cc #11952

[bitgaoshu]

i think the issue may be about edition. if use 2021, map type is <(i32,i32),i32>. under is unkown. if use before 2021 edition, cloned after into_iter, it’s ok too. May relate to feature array_into_iter_impl.

[flodiebold]

I'm pretty sure it's reproducible in 2021 as well, and caused by the above macro (at least).

[bitgaoshu]

yeah, my ra is too old

[bitgaoshu]

i try again. it’s true if change to 2021, it show unkown. but when ra reindex end, add or del some blank line, it changed.

[bitgaoshu]

The pic shows what I said. sth wrong?

[flodiebold]

Are you using the current Rust version?

[bitgaoshu]

rustc 1.61.0 2022 05 18 stable

[flodiebold]

I'm using 1.62. This is likely a recent regression.

[c410-f3r]