1 files changed, 16 insertions, 0 deletions

diff --git a/src/test/ui/issues/issue-17431-4.stderr b/src/test/ui/issues/issue-17431-4.stderr
new file mode 100644
index 000000000..ddf669b8f
--- /dev/null
+++ b/src/test/ui/issues/issue-17431-4.stderr
@@ -0,0 +1,16 @@
+error[E0072]: recursive type `Foo` has infinite size
+  --> $DIR/issue-17431-4.rs:3:1
+   |
+LL | struct Foo<T> { foo: Option<Option<Foo<T>>>, marker: marker::PhantomData<T> }
+   | ^^^^^^^^^^^^^        ---------------------- recursive without indirection
+   | |
+   | recursive type has infinite size
+   |
+help: insert some indirection (e.g., a `Box`, `Rc`, or `&`) to make `Foo` representable
+   |
+LL | struct Foo<T> { foo: Option<Box<Option<Foo<T>>>>, marker: marker::PhantomData<T> }
+   |                             ++++              +
+
+error: aborting due to previous error
+
+For more information about this error, try `rustc --explain E0072`.