src/test/ui/impl-trait/two_tait_defining_each_other2.stderr

   1 error: unconstrained opaque type
   2   --> $DIR/two_tait_defining_each_other2.rs:3:10
   3    |
   4 LL | type A = impl Foo;
   5    |          ^^^^^^^^
   6    |
   7    = note: `A` must be used in combination with a concrete type within the same module
   8
   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
  11    |
  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
  14    |
  15 note: opaque type whose hidden type is being assigned
  16   --> $DIR/two_tait_defining_each_other2.rs:4:10
  17    |
  18 LL | type B = impl Foo;
  19    |          ^^^^^^^^
  20 note: opaque type being used as hidden type
  21   --> $DIR/two_tait_defining_each_other2.rs:3:10
  22    |
  23 LL | type A = impl Foo;
  24    |          ^^^^^^^^
  25
  26 error: aborting due to 2 previous errors
  27