1 error: opaque type's hidden type cannot be another opaque type from the same scope
2 --> $DIR/nested_type_alias_impl_trait.rs:14:9
5 | ^^^^^^^^^ one of the two opaque types used here has to be outside its defining scope
7 note: opaque type whose hidden type is being assigned
8 --> $DIR/nested_type_alias_impl_trait.rs:7:21
10 LL | pub type Foot = impl Debug;
12 note: opaque type being used as hidden type
13 --> $DIR/nested_type_alias_impl_trait.rs:6:20
15 LL | pub type Foo = impl Debug;
18 error: aborting due to previous error