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);
+}