diff options
Diffstat (limited to 'tests/ui/unboxed-closures/unboxed-closures-infer-kind.rs')
-rw-r--r-- | tests/ui/unboxed-closures/unboxed-closures-infer-kind.rs | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/tests/ui/unboxed-closures/unboxed-closures-infer-kind.rs b/tests/ui/unboxed-closures/unboxed-closures-infer-kind.rs new file mode 100644 index 000000000..fc01bd9b6 --- /dev/null +++ b/tests/ui/unboxed-closures/unboxed-closures-infer-kind.rs @@ -0,0 +1,27 @@ +// run-pass +// Test that we can infer the "kind" of an unboxed closure based on +// the expected type. + +// Test by-ref capture of environment in unboxed closure types + +fn call_fn<F: Fn()>(f: F) { + f() +} + +fn call_fn_mut<F: FnMut()>(mut f: F) { + f() +} + +fn call_fn_once<F: FnOnce()>(f: F) { + f() +} + +fn main() { + let mut x = 0_usize; + let y = 2_usize; + + call_fn(|| assert_eq!(x, 0)); + call_fn_mut(|| x += y); + call_fn_once(|| x += y); + assert_eq!(x, y * 2); +} |