1 files changed, 27 insertions, 0 deletions

diff --git a/src/test/ui/issues/issue-34373.stderr b/src/test/ui/issues/issue-34373.stderr
new file mode 100644
index 000000000..8be3cfa72
--- /dev/null
+++ b/src/test/ui/issues/issue-34373.stderr
@@ -0,0 +1,27 @@
+error[E0391]: cycle detected when computing type of `Foo::T`
+  --> $DIR/issue-34373.rs:7:30
+   |
+LL | pub struct Foo<T = Box<Trait<DefaultFoo>>>;
+   |                              ^^^^^^^^^^
+   |
+note: ...which requires expanding type alias `DefaultFoo`...
+  --> $DIR/issue-34373.rs:8:19
+   |
+LL | type DefaultFoo = Foo;
+   |                   ^^^
+   = note: ...which again requires computing type of `Foo::T`, completing the cycle
+note: cycle used when collecting item types in top-level module
+  --> $DIR/issue-34373.rs:1:1
+   |
+LL | / #![allow(warnings)]
+LL | |
+LL | | trait Trait<T> {
+LL | |     fn foo(_: T) {}
+...  |
+LL | | fn main() {
+LL | | }
+   | |_^
+
+error: aborting due to previous error
+
+For more information about this error, try `rustc --explain E0391`.