diff options
Diffstat (limited to '')
-rw-r--r-- | src/test/ui/mismatched_types/unboxed-closures-vtable-mismatch.rs | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/src/test/ui/mismatched_types/unboxed-closures-vtable-mismatch.rs b/src/test/ui/mismatched_types/unboxed-closures-vtable-mismatch.rs new file mode 100644 index 000000000..8dbe3472e --- /dev/null +++ b/src/test/ui/mismatched_types/unboxed-closures-vtable-mismatch.rs @@ -0,0 +1,22 @@ +#![feature(unboxed_closures)] + +use std::ops::FnMut; + +fn to_fn_mut<A, F: FnMut<A>>(f: F) -> F { f } + +fn call_it<F: FnMut(isize, isize) -> isize>(y: isize, mut f: F) -> isize { + //~^ NOTE required by this bound in `call_it` + //~| NOTE required by a bound in `call_it` + f(2, y) +} + +pub fn main() { + let f = to_fn_mut(|x: usize, y: isize| -> isize { (x as isize) + y }); + //~^ NOTE found signature defined here + let z = call_it(3, f); + //~^ ERROR type mismatch + //~| NOTE expected due to this + //~| NOTE expected closure signature `fn(isize, _) -> _` + //~| NOTE required by a bound introduced by this call + println!("{}", z); +} |