1 error[E0391]: cycle detected when computing type of `m::Foo::{opaque#0}`
2 --> $DIR/auto-trait-leakage3.rs:7:16
4 LL | type Foo = impl std::fmt::Debug;
7 note: ...which requires type-checking `m::bar`...
8 --> $DIR/auto-trait-leakage3.rs:15:9
12 = note: ...which requires evaluating trait selection obligation `m::Foo: core::marker::Send`...
13 = note: ...which again requires computing type of `m::Foo::{opaque#0}`, completing the cycle
14 note: cycle used when checking item types in module `m`
15 --> $DIR/auto-trait-leakage3.rs:6:1
20 error: aborting due to previous error
22 For more information about this error, try `rustc --explain E0391`.