From 698f8c2f01ea549d77d7dc3338a12e04c11057b9 Mon Sep 17 00:00:00 2001
From: Daniel Baumann <daniel.baumann@progress-linux.org>
Date: Wed, 17 Apr 2024 14:02:58 +0200
Subject: Adding upstream version 1.64.0+dfsg1.

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
---
 src/test/ui/issues/issue-5708.rs | 55 ++++++++++++++++++++++++++++++++++++++++
 1 file changed, 55 insertions(+)
 create mode 100644 src/test/ui/issues/issue-5708.rs

(limited to 'src/test/ui/issues/issue-5708.rs')

diff --git a/src/test/ui/issues/issue-5708.rs b/src/test/ui/issues/issue-5708.rs
new file mode 100644
index 000000000..6fe9943d3
--- /dev/null
+++ b/src/test/ui/issues/issue-5708.rs
@@ -0,0 +1,55 @@
+// run-pass
+#![allow(unused_variables)]
+/*
+# ICE when returning struct with reference to trait
+
+A function which takes a reference to a trait and returns a
+struct with that reference results in an ICE.
+
+This does not occur with concrete types, only with references
+to traits.
+*/
+
+
+// original
+trait Inner {
+    fn print(&self);
+}
+
+impl Inner for isize {
+    fn print(&self) { print!("Inner: {}\n", *self); }
+}
+
+struct Outer<'a> {
+    inner: &'a (dyn Inner+'a)
+}
+
+impl<'a> Outer<'a> {
+    fn new(inner: &dyn Inner) -> Outer {
+        Outer {
+            inner: inner
+        }
+    }
+}
+
+pub fn main() {
+    let inner: isize = 5;
+    let outer = Outer::new(&inner as &dyn Inner);
+    outer.inner.print();
+}
+
+
+// minimal
+pub trait MyTrait<T> {
+    fn dummy(&self, t: T) -> T { panic!() }
+}
+
+pub struct MyContainer<'a, T:'a> {
+    foos: Vec<&'a (dyn MyTrait<T>+'a)> ,
+}
+
+impl<'a, T> MyContainer<'a, T> {
+    pub fn add (&mut self, foo: &'a dyn MyTrait<T>) {
+        self.foos.push(foo);
+    }
+}
-- 
cgit v1.2.3