4 //~^ NOTE function defined here
6 // Second note is the span of the underlined argument, I think...
12 //~^ ERROR mismatched types
13 //~| NOTE arguments to this function are incorrect
14 //~| NOTE expected `&()`, found `()`
15 //~| HELP consider borrowing here