1 files changed, 51 insertions, 0 deletions
diff --git a/gcc/testsuite/rust/compile/trait14.rs b/gcc/testsuite/rust/compile/trait14.rs
new file mode 100644
index 0000000..c1d42b5
--- /dev/null
+++ b/gcc/testsuite/rust/compile/trait14.rs
@@ -0,0 +1,51 @@
+// Testing diamond problem with supertraits
+
+ 
+struct Foo {
+    my_int: u32,
+}
+
+trait GrandParent {
+    fn grandparent(&self);
+}
+
+trait Parent1 : GrandParent {
+    fn parent1(&self);
+}
+
+trait Parent2 : GrandParent {
+    fn parent2(&self);
+}
+
+trait Child : Parent1+Parent2 {
+    fn child(&self);
+}
+
+impl GrandParent for Foo {
+    fn grandparent(&self) { let _ = self; }
+}
+
+impl Parent1 for Foo {
+    fn parent1(&self) { let _ = self; }
+}
+
+impl Parent2 for Foo {
+    fn parent2(&self) { let _ = self; }
+}
+
+impl Child for Foo {
+    fn child(&self) {
+        let _ = self;
+    }
+}
+
+pub fn main() {
+    let a = Foo{my_int: 0xf00dfeed};
+    let b: &dyn Child = &a;
+
+    b.parent1();
+    b.child();
+
+    // Suppress bogus compile warning
+    let _ = a.my_int;
+}