From 698f8c2f01ea549d77d7dc3338a12e04c11057b9 Mon Sep 17 00:00:00 2001
From: Daniel Baumann <daniel.baumann@progress-linux.org>
Date: Wed, 17 Apr 2024 14:02:58 +0200
Subject: Adding upstream version 1.64.0+dfsg1.

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
---
 src/test/ui/overloaded/overloaded-calls-simple.rs | 78 +++++++++++++++++++++++
 1 file changed, 78 insertions(+)
 create mode 100644 src/test/ui/overloaded/overloaded-calls-simple.rs

(limited to 'src/test/ui/overloaded/overloaded-calls-simple.rs')

diff --git a/src/test/ui/overloaded/overloaded-calls-simple.rs b/src/test/ui/overloaded/overloaded-calls-simple.rs
new file mode 100644
index 000000000..413183607
--- /dev/null
+++ b/src/test/ui/overloaded/overloaded-calls-simple.rs
@@ -0,0 +1,78 @@
+// run-pass
+
+#![feature(lang_items, unboxed_closures, fn_traits)]
+
+use std::ops::{Fn, FnMut, FnOnce};
+
+struct S1 {
+    x: i32,
+    y: i32,
+}
+
+impl FnMut<(i32,)> for S1 {
+    extern "rust-call" fn call_mut(&mut self, (z,): (i32,)) -> i32 {
+        self.x * self.y * z
+    }
+}
+
+impl FnOnce<(i32,)> for S1 {
+    type Output = i32;
+    extern "rust-call" fn call_once(mut self, args: (i32,)) -> i32 {
+        self.call_mut(args)
+    }
+}
+
+struct S2 {
+    x: i32,
+    y: i32,
+}
+
+impl Fn<(i32,)> for S2 {
+    extern "rust-call" fn call(&self, (z,): (i32,)) -> i32 {
+        self.x * self.y * z
+    }
+}
+
+impl FnMut<(i32,)> for S2 {
+    extern "rust-call" fn call_mut(&mut self, args: (i32,)) -> i32 { self.call(args) }
+}
+
+impl FnOnce<(i32,)> for S2 {
+    type Output = i32;
+    extern "rust-call" fn call_once(self, args: (i32,)) -> i32 { self.call(args) }
+}
+
+struct S3 {
+    x: i32,
+    y: i32,
+}
+
+impl FnOnce<(i32,i32)> for S3 {
+    type Output = i32;
+    extern "rust-call" fn call_once(self, (z,zz): (i32,i32)) -> i32 {
+        self.x * self.y * z * zz
+    }
+}
+
+fn main() {
+    let mut s = S1 {
+        x: 3,
+        y: 3,
+    };
+    let ans = s(3);
+
+    assert_eq!(ans, 27);
+    let s = S2 {
+        x: 3,
+        y: 3,
+    };
+    let ans = s.call((3,));
+    assert_eq!(ans, 27);
+
+    let s = S3 {
+        x: 3,
+        y: 3,
+    };
+    let ans = s(3, 1);
+    assert_eq!(ans, 27);
+}
-- 
cgit v1.2.3