1 files changed, 35 insertions, 0 deletions
diff --git a/src/test/ui/span/recursive-type-field.stderr b/src/test/ui/span/recursive-type-field.stderr
new file mode 100644
index 000000000..08e97e750
--- /dev/null
+++ b/src/test/ui/span/recursive-type-field.stderr
@@ -0,0 +1,35 @@
+error[E0072]: recursive type `Foo` has infinite size
+  --> $DIR/recursive-type-field.rs:3:1
+   |
+LL | struct Foo<'a> {
+   | ^^^^^^^^^^^^^^ recursive type has infinite size
+LL |     bar: Bar<'a>,
+   |          ------- recursive without indirection
+   |
+help: insert some indirection (e.g., a `Box`, `Rc`, or `&`) to make `Foo` representable
+   |
+LL |     bar: Box<Bar<'a>>,
+   |          ++++       +
+
+error[E0072]: recursive type `Bar` has infinite size
+  --> $DIR/recursive-type-field.rs:8:1
+   |
+LL | struct Bar<'a> {
+   | ^^^^^^^^^^^^^^ recursive type has infinite size
+LL |     y: (Foo<'a>, Foo<'a>),
+   |        ------------------ recursive without indirection
+LL |     z: Option<Bar<'a>>,
+   |        --------------- recursive without indirection
+...
+LL |     d: [Bar<'a>; 1],
+   |        ------------ recursive without indirection
+LL |     e: Foo<'a>,
+   |        ------- recursive without indirection
+LL |     x: Bar<'a>,
+   |        ------- recursive without indirection
+   |
+   = help: insert some indirection (e.g., a `Box`, `Rc`, or `&`) to make `Bar` representable
+
+error: aborting due to 2 previous errors
+
+For more information about this error, try `rustc --explain E0072`.