]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
gccrs: add testcase to prove issue has already been fixed
authorPhilip Herron <herron.philip@googlemail.com>
Sat, 3 Feb 2024 15:43:59 +0000 (15:43 +0000)
committerArthur Cohen <arthur.cohen@embecosm.com>
Wed, 7 Feb 2024 11:40:22 +0000 (12:40 +0100)
Fixes #1483

gcc/testsuite/ChangeLog:

* rust/compile/issue-1483.rs: New test.

gcc/testsuite/rust/compile/issue-1483.rs [new file with mode: 0644]

diff --git a/gcc/testsuite/rust/compile/issue-1483.rs b/gcc/testsuite/rust/compile/issue-1483.rs
new file mode 100644 (file)
index 0000000..eda7e13
--- /dev/null
@@ -0,0 +1,28 @@
+#[lang = "sized"]
+pub trait Sized {}
+
+#[lang = "fn_once"]
+pub trait FnOnce<Args> {
+    #[lang = "fn_once_output"]
+    type Output;
+
+    extern "rust-call" fn call_once(self, args: Args) -> Self::Output;
+}
+
+pub fn takes_fn_generic<F: FnOnce(i32) -> i32>(a: i32, f: F) -> i32 {
+    f(a)
+}
+
+pub fn takes_fn_generic_where<F>(a: i32, f: F) -> i32
+where
+    F: FnOnce(i32) -> i32,
+{
+    f(a)
+}
+
+pub fn test() {
+    let foo = |x: i32| -> i32 { x + 1 };
+
+    takes_fn_generic(1, foo);
+    takes_fn_generic_where(2, foo);
+}