1 files changed, 32 insertions, 0 deletions

diff --git a/tests/ui/issues/issue-3794.rs b/tests/ui/issues/issue-3794.rs
new file mode 100644
index 00000000000..b1f028fbccb
--- /dev/null
+++ b/tests/ui/issues/issue-3794.rs
@@ -0,0 +1,32 @@
+// run-pass
+#![allow(dead_code)]
+
+trait T {
+    fn print(&self);
+}
+
+#[derive(Debug)]
+struct S {
+    s: isize,
+}
+
+impl T for S {
+    fn print(&self) {
+        println!("{:?}", self);
+    }
+}
+
+fn print_t(t: &dyn T) {
+    t.print();
+}
+
+fn print_s(s: &S) {
+    s.print();
+}
+
+pub fn main() {
+    let s: Box<S> = Box::new(S { s: 5 });
+    print_s(&*s);
+    let t: Box<dyn T> = s as Box<dyn T>;
+    print_t(&*t);
+}