27 lines
844 B
Text
27 lines
844 B
Text
error: unconstrained opaque type
|
|
--> $DIR/two_tait_defining_each_other2.rs:5:10
|
|
|
|
|
LL | type A = impl Foo;
|
|
| ^^^^^^^^
|
|
|
|
|
= note: `A` must be used in combination with a concrete type within the same module
|
|
|
|
error: opaque type's hidden type cannot be another opaque type from the same scope
|
|
--> $DIR/two_tait_defining_each_other2.rs:12:5
|
|
|
|
|
LL | x // B's hidden type is A (opaquely)
|
|
| ^ one of the two opaque types used here has to be outside its defining scope
|
|
|
|
|
note: opaque type whose hidden type is being assigned
|
|
--> $DIR/two_tait_defining_each_other2.rs:6:10
|
|
|
|
|
LL | type B = impl Foo;
|
|
| ^^^^^^^^
|
|
note: opaque type being used as hidden type
|
|
--> $DIR/two_tait_defining_each_other2.rs:5:10
|
|
|
|
|
LL | type A = impl Foo;
|
|
| ^^^^^^^^
|
|
|
|
error: aborting due to 2 previous errors
|
|
|