[rustc.git] / src / test / ui / impl-trait / two_tait_defining_each_other2.stderr

error: unconstrained opaque type
  --> $DIR/two_tait_defining_each_other2.rs:3: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:9: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:4:10
   |
LL | type B = impl Foo;
   |          ^^^^^^^^
note: opaque type being used as hidden type
  --> $DIR/two_tait_defining_each_other2.rs:3:10
   |
LL | type A = impl Foo;
   |          ^^^^^^^^

error: aborting due to 2 previous errors
Commit	Line	Data
5e7ed085 FG	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