[rustc.git] / tests / ui / generic-associated-types / issue-90014-tait.stderr

error[E0308]: mismatched types
  --> $DIR/issue-90014-tait.rs:18:9
   |
LL |     type Fut<'a> = impl Future<Output = ()>;
   |                    ------------------------ the expected future
LL |
LL |     fn make_fut<'a>(&'a self) -> Self::Fut<'a> {
   |                                  ------------- expected `Foo<'_>::Fut<'a>` because of return type
LL |         async { () }
   |         ^^^^^^^^^^^^ expected future, found `async` block
   |
   = note: expected opaque type `Foo<'_>::Fut<'a>`
            found `async` block `{async block@$DIR/issue-90014-tait.rs:18:9: 18:21}`
note: this item must have the opaque type in its signature in order to be able to register hidden types
  --> $DIR/issue-90014-tait.rs:17:8
   |
LL |     fn make_fut<'a>(&'a self) -> Self::Fut<'a> {
   |        ^^^^^^^^

error: aborting due to previous error

For more information about this error, try `rustc --explain E0308`.
Commit	Line	Data
fe692bf9	1	error[E0308]: mismatched types
add651ee	2	--> $DIR/issue-90014-tait.rs:18:9
fe692bf9 FG	3	\|
	4	LL \| type Fut<'a> = impl Future<Output = ()>;
	5	\| ------------------------ the expected future
add651ee	6	LL \|
fe692bf9 FG	7	LL \| fn make_fut<'a>(&'a self) -> Self::Fut<'a> {
	8	\| ------------- expected `Foo<'_>::Fut<'a>` because of return type
	9	LL \| async { () }
	10	\| ^^^^^^^^^^^^ expected future, found `async` block
	11	\|
	12	= note: expected opaque type `Foo<'_>::Fut<'a>`
781aab86	13	found `async` block `{async block@$DIR/issue-90014-tait.rs:18:9: 18:21}`
fe692bf9	14	note: this item must have the opaque type in its signature in order to be able to register hidden types
add651ee	15	--> $DIR/issue-90014-tait.rs:17:8
fe692bf9 FG	16	\|
	17	LL \| fn make_fut<'a>(&'a self) -> Self::Fut<'a> {
	18	\| ^^^^^^^^
	19
	20	error: aborting due to previous error
	21
	22	For more information about this error, try `rustc --explain E0308`.