1 files changed, 16 insertions, 0 deletions

diff --git a/src/test/ui/issues/issue-17431-1.stderr b/src/test/ui/issues/issue-17431-1.stderr
new file mode 100644
index 000000000..db32eb952
--- /dev/null
+++ b/src/test/ui/issues/issue-17431-1.stderr
@@ -0,0 +1,16 @@
+error[E0072]: recursive type `Foo` has infinite size
+  --> $DIR/issue-17431-1.rs:1:1
+   |
+LL | struct Foo { foo: Option<Option<Foo>> }
+   | ^^^^^^^^^^        ------------------- 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 { foo: Option<Box<Option<Foo>>> }
+   |                          ++++           +
+
+error: aborting due to previous error
+
+For more information about this error, try `rustc --explain E0072`.