about summary refs log tree commit diff
path: root/src/test/ui/suggestions/as-ref.rs
blob: 03f04c389f1f3fbcbcbf9b0145fd133d0f06f7b8 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
struct Foo;
fn takes_ref(_: &Foo) {}

fn main() {
  let ref opt = Some(Foo);
  opt.map(|arg| takes_ref(arg));
  //~^ ERROR mismatched types [E0308]
  opt.and_then(|arg| Some(takes_ref(arg)));
  //~^ ERROR mismatched types [E0308]
  let ref opt: Result<_, ()> = Ok(Foo);
  opt.map(|arg| takes_ref(arg));
  //~^ ERROR mismatched types [E0308]
  opt.and_then(|arg| Ok(takes_ref(arg)));
  //~^ ERROR mismatched types [E0308]
  let x: &Option<usize> = &Some(3);
  let y: Option<&usize> = x;
  //~^ ERROR mismatched types [E0308]
  let x: &Result<usize, usize> = &Ok(3);
  let y: Result<&usize, &usize> = x;
  //~^ ERROR mismatched types [E0308]
  // note: do not suggest because of `E: usize`
  let x: &Result<usize, usize> = &Ok(3);
  let y: Result<&usize, usize> = x;
  //~^ ERROR mismatched types [E0308]
}