diff options
Diffstat (limited to 'src/test/ui/closure-expected-type/expect-infer-var-appearing-twice.rs')
-rw-r--r-- | src/test/ui/closure-expected-type/expect-infer-var-appearing-twice.rs | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/src/test/ui/closure-expected-type/expect-infer-var-appearing-twice.rs b/src/test/ui/closure-expected-type/expect-infer-var-appearing-twice.rs new file mode 100644 index 000000000..e5ec6b271 --- /dev/null +++ b/src/test/ui/closure-expected-type/expect-infer-var-appearing-twice.rs @@ -0,0 +1,25 @@ +fn with_closure<F, A>(_: F) + where F: FnOnce(A, A) +{ +} + +fn a() { + with_closure(|x: u32, y| { + // We deduce type of `y` from `x`. + }); +} + +fn b() { + // Here we take the supplied types, resulting in an error later on. + with_closure(|x: u32, y: i32| { + //~^ ERROR type mismatch in closure arguments + }); +} + +fn c() { + with_closure(|x, y: i32| { + // We deduce type of `x` from `y`. + }); +} + +fn main() { } |