1 files changed, 15 insertions, 0 deletions

diff --git a/src/test/ui/issues/issue-8248.rs b/src/test/ui/issues/issue-8248.rs
new file mode 100644
index 000000000..31a305c31
--- /dev/null
+++ b/src/test/ui/issues/issue-8248.rs
@@ -0,0 +1,15 @@
+// run-pass
+// pretty-expanded FIXME #23616
+
+trait A {
+    fn dummy(&self) { }
+}
+struct B;
+impl A for B {}
+
+fn foo(_: &mut dyn A) {}
+
+pub fn main() {
+    let mut b = B;
+    foo(&mut b as &mut dyn A);
+}