1- error[E0277]: `[async fn body@$DIR/async.rs:14:29: 16:2]` is not a future
2- LL |LL | |LL | | }
3-
4-
5- error[E0277]: the size for values of type `<[async fn body@$DIR/async.rs:14:29: 16:2] as Future>::Output` cannot be known at compilation time
6- LL |LL | |LL | | }
7-
8-
9- error[E0277]: `[async fn body@$DIR/async.rs:14:29: 16:2]` is not a future
1+ error[E0277]: `[async fn body@$DIR/async.rs:15:29: --> $DIR/async.rs:15:29
2+ |
3+ LL | async fn foo(x: u32) -> u32 {
4+ | _____________________________-
5+ LL | | x
6+ LL | | }
7+ | | ^
8+ | | |
9+ | |_`[async fn body@$DIR/async.rs:15:29: | required by a bound introduced by this call
10+ |
11+ = help: the trait `Future` is not implemented for `[async fn body@$DIR/async.rs:15:29: =
12+
13+ --> $SRC_DIR/core/src/future/mod.rs:LL:COL
14+
15+ error[E0277]: the size for values of type `<[async fn body@$DIR/async.rs:15:29: --> $DIR/async.rs:15:29
16+ |
17+ LL | async fn foo(x: u32) -> u32 {
18+ | _____________________________^
19+ LL | | x
20+ LL | | }
21+ | |_^ doesn't have a size known at compile-time
22+ |
23+ = help: the trait `Sized` is not implemented for `<[async fn body@$DIR/async.rs:15:29:
24+ --> $SRC_DIR/core/src/future/mod.rs:LL:COL
25+
26+ error[E0277]: `[async fn body@$DIR/async.rs:15:29: --> $DIR/async.rs:15:25
27+ |
1028LL | async fn foo(x: u32) -> u32 {
29+ | = help: the trait `Future` is not implemented for `[async fn body@$DIR/async.rs:15:29: =
1130
12- error: internal compiler error: compiler/rustc_trait_selection/src/traits/error_reporting/mod.rs:1114:25: projection clauses should be implied from elsewhere. obligation: `Obligation(predicate=Binder(ProjectionPredicate(AliasTy { substs: [[async fn body@$DIR/async.rs:14:29: 16:2]], def_id: ...), _use_mk_alias_ty_instead: () }, Term::Ty(u32)), []), depth=0)`
31+ error: internal compiler error: compiler/rustc_trait_selection/src/traits/error_reporting/mod.rs:1114:25: projection clauses should be implied from elsewhere. obligation: `Obligation(predicate=Binder(ProjectionPredicate(AliasTy { substs: [[async fn body@$DIR/async.rs:15:29: --> $DIR/async.rs:15:25
32+ |
1333LL | async fn foo(x: u32) -> u32 {
14-
34+ |
1535
1636stack backtrace:
1737
@@ -21,8 +41,6 @@ stack backtrace:
2141
2242
2343
24-
25-
2644query stack during panic:
2745#0 [typeck] type-checking `foo`
2846#1 [thir_body] building THIR for `foo`
0 commit comments