1 files changed, 34 insertions, 0 deletions

diff --git a/src/test/ui/issues/issue-5008-borrowed-traitobject-method-call.rs b/src/test/ui/issues/issue-5008-borrowed-traitobject-method-call.rs
new file mode 100644
index 000000000..fc869ae4f
--- /dev/null
+++ b/src/test/ui/issues/issue-5008-borrowed-traitobject-method-call.rs
@@ -0,0 +1,34 @@
+// run-pass
+/*
+
+#5008 cast to &Trait causes code to segfault on method call
+
+It fixes itself if the &Trait is changed to @Trait.
+*/
+
+trait Debuggable {
+    fn debug_name(&self) -> String;
+}
+
+#[derive(Clone)]
+struct Thing {
+    name: String,
+}
+
+impl Thing {
+    fn new() -> Thing { Thing { name: "dummy".to_string() } }
+}
+
+impl Debuggable for Thing {
+    fn debug_name(&self) -> String { self.name.clone() }
+}
+
+fn print_name(x: &dyn Debuggable)
+{
+    println!("debug_name = {}", x.debug_name());
+}
+
+pub fn main() {
+    let thing = Thing::new();
+    print_name(&thing as &dyn Debuggable);
+}