1 files changed, 21 insertions, 0 deletions

diff --git a/src/test/ui/issues/issue-9951.rs b/src/test/ui/issues/issue-9951.rs
new file mode 100644
index 000000000..2698a3b17
--- /dev/null
+++ b/src/test/ui/issues/issue-9951.rs
@@ -0,0 +1,21 @@
+// run-pass
+// pretty-expanded FIXME #23616
+
+#![allow(unused_variables)]
+
+trait Bar {
+  fn noop(&self);
+}
+impl Bar for u8 {
+  fn noop(&self) {}
+}
+
+fn main() {
+    let (a, b) = (&5u8 as &dyn Bar, &9u8 as &dyn Bar);
+    let (c, d): (&dyn Bar, &dyn Bar) = (a, b);
+
+    let (a, b) = (Box::new(5u8) as Box<dyn Bar>, Box::new(9u8) as Box<dyn Bar>);
+    let (c, d): (&dyn Bar, &dyn Bar) = (&*a, &*b);
+
+    let (c, d): (&dyn Bar, &dyn Bar) = (&5, &9);
+}