From: Philip Herron <herron.phi...@googlemail.com>

Fixes Rust-GCC#3144

gcc/testsuite/ChangeLog:

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

Signed-off-by: Philip Herron <herron.phi...@googlemail.com>
---
 gcc/testsuite/rust/compile/issue-3144.rs | 29 ++++++++++++++++++++++++
 1 file changed, 29 insertions(+)
 create mode 100644 gcc/testsuite/rust/compile/issue-3144.rs

diff --git a/gcc/testsuite/rust/compile/issue-3144.rs 
b/gcc/testsuite/rust/compile/issue-3144.rs
new file mode 100644
index 00000000000..4e61078a0dc
--- /dev/null
+++ b/gcc/testsuite/rust/compile/issue-3144.rs
@@ -0,0 +1,29 @@
+#[lang = "sized"]
+pub trait Sized {}
+
+#[lang = "copy"]
+trait Copy {}
+
+#[lang = "clone"]
+pub trait Clone {
+    fn clone(&self) -> Self;
+}
+
+impl Clone for i32 {
+    fn clone(&self) -> i32 {
+        *self
+    }
+}
+
+struct S {}
+
+#[derive(Clone, Copy)]
+// { dg-error {bounds not satisfied for S .Clone. is not satisfied .E0277.} "" 
{ target *-*-* } .-1 }
+struct S2 {
+    a: i32,
+    s: S,
+}
+
+fn main() -> i32 {
+    0
+}
-- 
2.49.0

Reply via email to