[rustc.git] / src / test / ui / suggestions / opaque-type-error.stderr

error[E0308]: `if` and `else` have incompatible types
  --> $DIR/opaque-type-error.rs:20:9
   |
LL |   fn thing_two() -> impl Future<Output = Result<(), ()>> {
   |                     ------------------------------------ the found opaque type
...
LL | /     if true {
LL | |         thing_one()
   | |         ----------- expected because of this
LL | |     } else {
LL | |         thing_two()
   | |         ^^^^^^^^^^^ expected opaque type, found a different opaque type
LL | |     }.await
   | |_____- `if` and `else` have incompatible types
   |
   = note:     expected type `impl Future` (opaque type at <$DIR/opaque-type-error.rs:8:19>)
           found opaque type `impl Future` (opaque type at <$DIR/opaque-type-error.rs:12:19>)
   = note: distinct uses of `impl Trait` result in different opaque types

error: aborting due to previous error

For more information about this error, try `rustc --explain E0308`.
Commit	Line	Data
dfeec247	1	error[E0308]: `if` and `else` have incompatible types
e1599b0c XL	2	--> $DIR/opaque-type-error.rs:20:9
e1599b0c XL	3	\|
dfeec247 XL	4	LL \| fn thing_two() -> impl Future<Output = Result<(), ()>> {
	5	\| ------------------------------------ the found opaque type
	6	...
e1599b0c XL	7	LL \| / if true {
	8	LL \| \| thing_one()
	9	\| \| ----------- expected because of this
	10	LL \| \| } else {
	11	LL \| \| thing_two()
	12	\| \| ^^^^^^^^^^^ expected opaque type, found a different opaque type
	13	LL \| \| }.await
dfeec247	14	\| \|_____- `if` and `else` have incompatible types
e1599b0c	15	\|
1b1a35ee XL	16	= note: expected type `impl Future` (opaque type at <$DIR/opaque-type-error.rs:8:19>)
1b1a35ee XL	17	found opaque type `impl Future` (opaque type at <$DIR/opaque-type-error.rs:12:19>)
e1599b0c	18	= note: distinct uses of `impl Trait` result in different opaque types
e1599b0c XL	19
	20	error: aborting due to previous error
	21
	22	For more information about this error, try `rustc --explain E0308`.