From: Philip Herron <[email protected]>
Fixes Rust-GCC#3144
gcc/testsuite/ChangeLog:
* rust/compile/issue-3144.rs: New test.
Signed-off-by: Philip Herron <[email protected]>
---
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
