summaryrefslogtreecommitdiffstats
path: root/src/test/ui/mismatched_types/unboxed-closures-vtable-mismatch.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/mismatched_types/unboxed-closures-vtable-mismatch.rs')
-rw-r--r--src/test/ui/mismatched_types/unboxed-closures-vtable-mismatch.rs22
1 files changed, 0 insertions, 22 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
deleted file mode 100644
index 307104e47..000000000
--- a/src/test/ui/mismatched_types/unboxed-closures-vtable-mismatch.rs
+++ /dev/null
@@ -1,22 +0,0 @@
-#![feature(unboxed_closures,tuple_trait)]
-
-use std::ops::FnMut;
-
-fn to_fn_mut<A:std::marker::Tuple, 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);
-}