diff mbox series

[COMMITTED,11/25] gccrs: add test cases to prove type inference is working

Message ID 20240207114419.1100894-12-arthur.cohen@embecosm.com
State New
Headers show
Series [COMMITTED,01/25] gccrs: Parse normal functions with `self` parameter correctly | expand

Commit Message

Arthur Cohen Feb. 7, 2024, 11:43 a.m. UTC 
From: Philip Herron <herron.philip@googlemail.com>

Fixes #2772

gcc/testsuite/ChangeLog:

	* rust/compile/issue-2772-1.rs: New test.
	* rust/compile/issue-2772-2.rs: New test.
---
 gcc/testsuite/rust/compile/issue-2772-1.rs | 20 ++++++++++++++++++++
 gcc/testsuite/rust/compile/issue-2772-2.rs | 20 ++++++++++++++++++++
 2 files changed, 40 insertions(+)
 create mode 100644 gcc/testsuite/rust/compile/issue-2772-1.rs
 create mode 100644 gcc/testsuite/rust/compile/issue-2772-2.rs
diff mbox series

Patch

diff --git a/gcc/testsuite/rust/compile/issue-2772-1.rs b/gcc/testsuite/rust/compile/issue-2772-1.rs
new file mode 100644
index 00000000000..69977db0bfb
--- /dev/null
+++ b/gcc/testsuite/rust/compile/issue-2772-1.rs
@@ -0,0 +1,20 @@ 
+// { dg-options "-w" }
+#[lang = "sized"]
+pub trait Sized {}
+
+struct Pair<'a, T, U>
+where
+    T: 'a,
+    U: 'a,
+{
+    left: T,
+    right: U,
+}
+
+pub fn test<'a>() {
+    let a: i32 = 50;
+    let x = Pair {
+        left: &&a,
+        right: &a,
+    };
+}
diff --git a/gcc/testsuite/rust/compile/issue-2772-2.rs b/gcc/testsuite/rust/compile/issue-2772-2.rs
new file mode 100644
index 00000000000..b05f2b1dc2b
--- /dev/null
+++ b/gcc/testsuite/rust/compile/issue-2772-2.rs
@@ -0,0 +1,20 @@ 
+// { dg-options "-w" }
+#[lang = "sized"]
+pub trait Sized {}
+
+struct Pair<'a, T, U>
+where
+    T: 'a,
+    U: 'a,
+{
+    left: T,
+    right: U,
+}
+
+pub fn test<'a>() {
+    let a: i32 = 50;
+    let x = Pair::<&'_ _, &'_ _> {
+        left: &&a,
+        right: &a,
+    };
+}