src/test/ui/mismatched_types/fn-variance-1.rs

   1 fn takes_imm(x: &isize) { }
   2
   3 fn takes_mut(x: &mut isize) { }
   4
   5 fn apply<T, F>(t: T, f: F) where F: FnOnce(T) {
   6     f(t)
   7 }
   8
   9 fn main() {
  10     apply(&3, takes_imm);
  11     apply(&3, takes_mut);
  12     //~^ ERROR type mismatch
  13
  14     apply(&mut 3, takes_mut);
  15     apply(&mut 3, takes_imm);
  16     //~^ ERROR type mismatch
  17 }