summaryrefslogtreecommitdiffstats
path: root/src/test/ui/suggestions/if-then-neeing-semi.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/suggestions/if-then-neeing-semi.stderr')
-rw-r--r--src/test/ui/suggestions/if-then-neeing-semi.stderr130
1 files changed, 130 insertions, 0 deletions
diff --git a/src/test/ui/suggestions/if-then-neeing-semi.stderr b/src/test/ui/suggestions/if-then-neeing-semi.stderr
new file mode 100644
index 000000000..d7c5818ab
--- /dev/null
+++ b/src/test/ui/suggestions/if-then-neeing-semi.stderr
@@ -0,0 +1,130 @@
+error[E0308]: `if` and `else` have incompatible types
+ --> $DIR/if-then-neeing-semi.rs:37:9
+ |
+LL | let _ = if true {
+ | _____________-
+LL | |
+LL | | async_dummy();
+ | | -------------- expected because of this
+LL | |
+LL | | } else {
+LL | | async_dummy()
+ | | ^^^^^^^^^^^^^ expected `()`, found opaque type
+... |
+LL | |
+LL | | };
+ | |_____- `if` and `else` have incompatible types
+ |
+note: while checking the return type of the `async fn`
+ --> $DIR/if-then-neeing-semi.rs:18:24
+ |
+LL | async fn async_dummy() {}
+ | ^ checked the `Output` of this `async fn`, found opaque type
+ = note: expected unit type `()`
+ found opaque type `impl Future<Output = ()>`
+help: consider `await`ing on the `Future`
+ |
+LL | async_dummy().await
+ | ++++++
+help: consider removing this semicolon
+ |
+LL - async_dummy();
+LL + async_dummy()
+ |
+
+error[E0308]: `if` and `else` have incompatible types
+ --> $DIR/if-then-neeing-semi.rs:50:9
+ |
+LL | let _ = if true {
+ | _____________-
+LL | |
+LL | | async_dummy();
+ | | -------------- expected because of this
+LL | |
+LL | | } else {
+LL | | async_dummy2()
+ | | ^^^^^^^^^^^^^^ expected `()`, found opaque type
+... |
+LL | |
+LL | | };
+ | |_____- `if` and `else` have incompatible types
+ |
+note: while checking the return type of the `async fn`
+ --> $DIR/if-then-neeing-semi.rs:24:25
+ |
+LL | async fn async_dummy2() {}
+ | ^ checked the `Output` of this `async fn`, found opaque type
+ = note: expected unit type `()`
+ found opaque type `impl Future<Output = ()>`
+help: consider `await`ing on the `Future`
+ |
+LL | async_dummy2().await
+ | ++++++
+help: consider removing this semicolon and boxing the expressions
+ |
+LL ~ Box::new(async_dummy())
+LL |
+LL | } else {
+LL ~ Box::new(async_dummy2())
+ |
+
+error[E0308]: `if` and `else` have incompatible types
+ --> $DIR/if-then-neeing-semi.rs:63:9
+ |
+LL | let _ = if true {
+ | _____________-
+LL | |
+LL | | async_dummy()
+ | | ------------- expected because of this
+LL | |
+LL | | } else {
+LL | | async_dummy2()
+ | | ^^^^^^^^^^^^^^ expected opaque type, found a different opaque type
+... |
+LL | |
+LL | | };
+ | |_____- `if` and `else` have incompatible types
+ |
+note: while checking the return type of the `async fn`
+ --> $DIR/if-then-neeing-semi.rs:18:24
+ |
+LL | async fn async_dummy() {}
+ | ^ checked the `Output` of this `async fn`, expected opaque type
+note: while checking the return type of the `async fn`
+ --> $DIR/if-then-neeing-semi.rs:24:25
+ |
+LL | async fn async_dummy2() {}
+ | ^ checked the `Output` of this `async fn`, found opaque type
+ = note: expected opaque type `impl Future<Output = ()>` (opaque type at <$DIR/if-then-neeing-semi.rs:18:24>)
+ found opaque type `impl Future<Output = ()>` (opaque type at <$DIR/if-then-neeing-semi.rs:24:25>)
+ = note: distinct uses of `impl Trait` result in different opaque types
+help: consider `await`ing on both `Future`s
+ |
+LL ~ async_dummy().await
+LL |
+LL | } else {
+LL ~ async_dummy2().await
+ |
+
+error[E0308]: `if` and `else` have incompatible types
+ --> $DIR/if-then-neeing-semi.rs:13:9
+ |
+LL | let _ = if true {
+ | _____________-
+LL | |
+LL | | dummy();
+ | | --------
+ | | | |
+ | | | help: consider removing this semicolon
+ | | expected because of this
+LL | |
+LL | | } else {
+LL | | dummy()
+ | | ^^^^^^^ expected `()`, found `i32`
+LL | |
+LL | | };
+ | |_____- `if` and `else` have incompatible types
+
+error: aborting due to 4 previous errors
+
+For more information about this error, try `rustc --explain E0308`.