9 #[allow(unused_variables)]
13 let c = x(&&a); //~ ERROR: this expression borrows a reference that is immediately dereferenced by the compiler
14 let s = &String::from("hi");
15 let s_ident = f(&s); // should not error, because `&String` implements Copy, but `String` does not
16 let g_val = g(&Vec::new()); // should not error, because `&Vec<T>` derefs to `&[T]`
18 let vec_val = g(&vec); // should not error, because `&Vec<T>` derefs to `&[T]`
19 h(&"foo"); // should not error, because the `&&str` is required, due to `&Trait`
20 if let Some(ref cake) = Some(&5) {} //~ ERROR: this pattern creates a reference to a reference
23 fn f<T:Copy>(y: &T) -> T {
27 fn g(y: &[u8]) -> u8 {
33 impl<'a> Trait for &'a str {}
39 let mut v = Vec::<String>::new();
40 let _ = v.iter_mut().filter(|&ref a| a.is_empty());
41 let _ = v.iter().filter(|&ref a| a.is_empty());
42 //~^WARNING this pattern creates a reference to a reference
43 let _ = v.iter().filter(|&a| a.is_empty());