1 error: unconstrained opaque type
2 --> $DIR/two_tait_defining_each_other2.rs:3:10
4 LL | type A = impl Foo;
7 = note: `A` must be used in combination with a concrete type within the same module
9 error: opaque type's hidden type cannot be another opaque type from the same scope
10 --> $DIR/two_tait_defining_each_other2.rs:9:5
12 LL | x // B's hidden type is A (opaquely)
13 | ^ one of the two opaque types used here has to be outside its defining scope
15 note: opaque type whose hidden type is being assigned
16 --> $DIR/two_tait_defining_each_other2.rs:4:10
18 LL | type B = impl Foo;
20 note: opaque type being used as hidden type
21 --> $DIR/two_tait_defining_each_other2.rs:3:10
23 LL | type A = impl Foo;
26 error: aborting due to 2 previous errors