1 files changed, 10 insertions, 0 deletions

diff --git a/tests/ui/issues/issue-17351.rs b/tests/ui/issues/issue-17351.rs
new file mode 100644
index 000000000..62f6bcf15
--- /dev/null
+++ b/tests/ui/issues/issue-17351.rs
@@ -0,0 +1,10 @@
+// run-pass
+// pretty-expanded FIXME #23616
+
+trait Str { fn foo(&self) {} }
+impl Str for str {}
+impl<'a, S: ?Sized> Str for &'a S where S: Str {}
+
+fn main() {
+    let _: &dyn Str = &"x";
+}