summaryrefslogtreecommitdiffstats
path: root/src/test/ui/mismatched_types/overloaded-calls-bad.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/mismatched_types/overloaded-calls-bad.rs')
-rw-r--r--src/test/ui/mismatched_types/overloaded-calls-bad.rs33
1 files changed, 33 insertions, 0 deletions
diff --git a/src/test/ui/mismatched_types/overloaded-calls-bad.rs b/src/test/ui/mismatched_types/overloaded-calls-bad.rs
new file mode 100644
index 000000000..902a6ec81
--- /dev/null
+++ b/src/test/ui/mismatched_types/overloaded-calls-bad.rs
@@ -0,0 +1,33 @@
+#![feature(fn_traits, unboxed_closures)]
+
+use std::ops::FnMut;
+
+struct S {
+ x: isize,
+ y: isize,
+}
+
+impl FnMut<(isize,)> for S {
+ extern "rust-call" fn call_mut(&mut self, (z,): (isize,)) -> isize {
+ self.x * self.y * z
+ }
+}
+
+impl FnOnce<(isize,)> for S {
+ type Output = isize;
+ extern "rust-call" fn call_once(mut self, (z,): (isize,)) -> isize {
+ self.call_mut((z,))
+ }
+}
+
+fn main() {
+ let mut s = S {
+ x: 3,
+ y: 3,
+ };
+ let ans = s("what"); //~ ERROR mismatched types
+ let ans = s();
+ //~^ ERROR this function takes 1 argument but 0 arguments were supplied
+ let ans = s("burma", "shave");
+ //~^ ERROR this function takes 1 argument but 2 arguments were supplied
+}