I encountered this strange behaviour when reading this post, and the core question of this post is when you matching (&k, &v) = &(&String, &String) , k and v will get the type Stri...

Consider following code fn main() { let s = (&&0,); let (x,) = s; // &&i32 let (&y,) = s; // &i32 let (&&z,) = s; // i32 let t = &(&0,); ...

What happens when pattern-matching against a reference with a pattern that doesn't include a reference? Here's an example using a struct pattern: fn main() { struct S(u32); let S(x) = &S(2...