1 // Test that we are able to infer a suitable kind for this closure
2 // that is just called (`FnMut`).
7 // Here this must be inferred to FnMut so that it can mutate counter,
8 // but we forgot the mut.
13 // In turn, tick2 must be inferred to FnMut so that it can call
14 // tick1, but we forgot the mut.
16 tick1(); //~ ERROR cannot borrow `tick1` as mutable
19 tick2(); //~ ERROR cannot borrow