Skip to content

Commit 6ed1cc5

Browse files
oli-obkoli-obk
committed
Bless mir-opt tests
1 parent 6f3bde9 commit 6ed1cc5

File tree

1 file changed

+26
-26
lines changed

1 file changed

+26
-26
lines changed

‎tests/mir-opt/building/async_await.b-{closure#0}.generator_resume.0.mir

Lines changed: 26 additions & 26 deletions
Original file line numberDiff line numberDiff line change
@@ -2,15 +2,15 @@
22
/* generator_layout = GeneratorLayout {
33
field_tys: {
44
_0: GeneratorSavedTy {
5-
ty: impl std::future::Future<Output = ()>,
5+
ty: [async fn body@$DIR/async_await.rs:11:14: 11:16],
66
source_info: SourceInfo {
77
span: $DIR/async_await.rs:15:9: 15:14 (#8),
88
scope: scope[0],
99
},
1010
ignore_for_traits: false,
1111
},
1212
_1: GeneratorSavedTy {
13-
ty: impl std::future::Future<Output = ()>,
13+
ty: [async fn body@$DIR/async_await.rs:11:14: 11:16],
1414
source_info: SourceInfo {
1515
span: $DIR/async_await.rs:16:9: 16:14 (#10),
1616
scope: scope[0],
@@ -35,30 +35,30 @@ fn b::{closure#0}(_1: Pin<&mut [async fn body@$DIR/async_await.rs:14:18: 17:2]>,
3535
debug _task_context => _38;
3636
let mut _0: std::task::Poll<()>;
3737
let _3: ();
38-
let mut _4: impl std::future::Future<Output = ()>;
39-
let mut _5: impl std::future::Future<Output = ()>;
40-
let mut _6: impl std::future::Future<Output = ()>;
38+
let mut _4: [async fn body@$DIR/async_await.rs:11:14: 11:16];
39+
let mut _5: [async fn body@$DIR/async_await.rs:11:14: 11:16];
40+
let mut _6: [async fn body@$DIR/async_await.rs:11:14: 11:16];
4141
let mut _7: ();
4242
let _8: ();
4343
let mut _9: std::task::Poll<()>;
44-
let mut _10: std::pin::Pin<&mut impl std::future::Future<Output = ()>>;
45-
let mut _11: &mut impl std::future::Future<Output = ()>;
46-
let mut _12: &mut impl std::future::Future<Output = ()>;
44+
let mut _10: std::pin::Pin<&mut [async fn body@$DIR/async_await.rs:11:14: 11:16]>;
45+
let mut _11: &mut [async fn body@$DIR/async_await.rs:11:14: 11:16];
46+
let mut _12: &mut [async fn body@$DIR/async_await.rs:11:14: 11:16];
4747
let mut _13: &mut std::task::Context<'_>;
4848
let mut _14: &mut std::task::Context<'_>;
4949
let mut _15: &mut std::task::Context<'_>;
5050
let mut _16: isize;
5151
let mut _18: !;
5252
let mut _19: &mut std::task::Context<'_>;
5353
let mut _20: ();
54-
let mut _21: impl std::future::Future<Output = ()>;
55-
let mut _22: impl std::future::Future<Output = ()>;
56-
let mut _23: impl std::future::Future<Output = ()>;
54+
let mut _21: [async fn body@$DIR/async_await.rs:11:14: 11:16];
55+
let mut _22: [async fn body@$DIR/async_await.rs:11:14: 11:16];
56+
let mut _23: [async fn body@$DIR/async_await.rs:11:14: 11:16];
5757
let _24: ();
5858
let mut _25: std::task::Poll<()>;
59-
let mut _26: std::pin::Pin<&mut impl std::future::Future<Output = ()>>;
60-
let mut _27: &mut impl std::future::Future<Output = ()>;
61-
let mut _28: &mut impl std::future::Future<Output = ()>;
59+
let mut _26: std::pin::Pin<&mut [async fn body@$DIR/async_await.rs:11:14: 11:16]>;
60+
let mut _27: &mut [async fn body@$DIR/async_await.rs:11:14: 11:16];
61+
let mut _28: &mut [async fn body@$DIR/async_await.rs:11:14: 11:16];
6262
let mut _29: &mut std::task::Context<'_>;
6363
let mut _30: &mut std::task::Context<'_>;
6464
let mut _31: &mut std::task::Context<'_>;
@@ -70,7 +70,7 @@ fn b::{closure#0}(_1: Pin<&mut [async fn body@$DIR/async_await.rs:14:18: 17:2]>,
7070
let mut _38: &mut std::task::Context<'_>;
7171
let mut _39: u32;
7272
scope 1 {
73-
debug __awaitee => (((*(_1.0: &mut [async fn body@$DIR/async_await.rs:14:18: 17:2])) as variant#3).0: impl std::future::Future<Output = ()>);
73+
debug __awaitee => (((*(_1.0: &mut [async fn body@$DIR/async_await.rs:14:18: 17:2])) as variant#3).0: [async fn body@$DIR/async_await.rs:11:14: 11:16]);
7474
let _17: ();
7575
scope 2 {
7676
}
@@ -79,7 +79,7 @@ fn b::{closure#0}(_1: Pin<&mut [async fn body@$DIR/async_await.rs:14:18: 17:2]>,
7979
}
8080
}
8181
scope 4 {
82-
debug __awaitee => (((*(_1.0: &mut [async fn body@$DIR/async_await.rs:14:18: 17:2])) as variant#4).0: impl std::future::Future<Output = ()>);
82+
debug __awaitee => (((*(_1.0: &mut [async fn body@$DIR/async_await.rs:14:18: 17:2])) as variant#4).0: [async fn body@$DIR/async_await.rs:11:14: 11:16]);
8383
let _33: ();
8484
scope 5 {
8585
}
@@ -102,13 +102,13 @@ fn b::{closure#0}(_1: Pin<&mut [async fn body@$DIR/async_await.rs:14:18: 17:2]>,
102102
}
103103

104104
bb2: {
105-
_4 = <impl Future<Output = ()> as IntoFuture>::into_future(move _5) -> [return: bb3, unwind unreachable];
105+
_4 = <[async fn body@$DIR/async_await.rs:11:14: 11:16] as IntoFuture>::into_future(move _5) -> [return: bb3, unwind unreachable];
106106
}
107107

108108
bb3: {
109109
StorageDead(_5);
110110
nop;
111-
(((*(_1.0: &mut [async fn body@$DIR/async_await.rs:14:18: 17:2])) as variant#3).0: impl std::future::Future<Output = ()>) = move _4;
111+
(((*(_1.0: &mut [async fn body@$DIR/async_await.rs:14:18: 17:2])) as variant#3).0: [async fn body@$DIR/async_await.rs:11:14: 11:16]) = move _4;
112112
goto -> bb4;
113113
}
114114

@@ -118,9 +118,9 @@ fn b::{closure#0}(_1: Pin<&mut [async fn body@$DIR/async_await.rs:14:18: 17:2]>,
118118
StorageLive(_10);
119119
StorageLive(_11);
120120
StorageLive(_12);
121-
_12 = &mut (((*(_1.0: &mut [async fn body@$DIR/async_await.rs:14:18: 17:2])) as variant#3).0: impl std::future::Future<Output = ()>);
121+
_12 = &mut (((*(_1.0: &mut [async fn body@$DIR/async_await.rs:14:18: 17:2])) as variant#3).0: [async fn body@$DIR/async_await.rs:11:14: 11:16]);
122122
_11 = &mut (*_12);
123-
_10 = Pin::<&mut impl Future<Output = ()>>::new_unchecked(move _11) -> [return: bb5, unwind unreachable];
123+
_10 = Pin::<&mut [async fn body@$DIR/async_await.rs:11:14: 11:16]>::new_unchecked(move _11) -> [return: bb5, unwind unreachable];
124124
}
125125

126126
bb5: {
@@ -136,7 +136,7 @@ fn b::{closure#0}(_1: Pin<&mut [async fn body@$DIR/async_await.rs:14:18: 17:2]>,
136136
bb6: {
137137
_13 = &mut (*_14);
138138
StorageDead(_15);
139-
_9 = <impl Future<Output = ()> as Future>::poll(move _10, move _13) -> [return: bb7, unwind unreachable];
139+
_9 = <[async fn body@$DIR/async_await.rs:11:14: 11:16] as Future>::poll(move _10, move _13) -> [return: bb7, unwind unreachable];
140140
}
141141

142142
bb7: {
@@ -198,13 +198,13 @@ fn b::{closure#0}(_1: Pin<&mut [async fn body@$DIR/async_await.rs:14:18: 17:2]>,
198198
}
199199

200200
bb14: {
201-
_21 = <impl Future<Output = ()> as IntoFuture>::into_future(move _22) -> [return: bb15, unwind unreachable];
201+
_21 = <[async fn body@$DIR/async_await.rs:11:14: 11:16] as IntoFuture>::into_future(move _22) -> [return: bb15, unwind unreachable];
202202
}
203203

204204
bb15: {
205205
StorageDead(_22);
206206
nop;
207-
(((*(_1.0: &mut [async fn body@$DIR/async_await.rs:14:18: 17:2])) as variant#4).0: impl std::future::Future<Output = ()>) = move _21;
207+
(((*(_1.0: &mut [async fn body@$DIR/async_await.rs:14:18: 17:2])) as variant#4).0: [async fn body@$DIR/async_await.rs:11:14: 11:16]) = move _21;
208208
goto -> bb16;
209209
}
210210

@@ -214,9 +214,9 @@ fn b::{closure#0}(_1: Pin<&mut [async fn body@$DIR/async_await.rs:14:18: 17:2]>,
214214
StorageLive(_26);
215215
StorageLive(_27);
216216
StorageLive(_28);
217-
_28 = &mut (((*(_1.0: &mut [async fn body@$DIR/async_await.rs:14:18: 17:2])) as variant#4).0: impl std::future::Future<Output = ()>);
217+
_28 = &mut (((*(_1.0: &mut [async fn body@$DIR/async_await.rs:14:18: 17:2])) as variant#4).0: [async fn body@$DIR/async_await.rs:11:14: 11:16]);
218218
_27 = &mut (*_28);
219-
_26 = Pin::<&mut impl Future<Output = ()>>::new_unchecked(move _27) -> [return: bb17, unwind unreachable];
219+
_26 = Pin::<&mut [async fn body@$DIR/async_await.rs:11:14: 11:16]>::new_unchecked(move _27) -> [return: bb17, unwind unreachable];
220220
}
221221

222222
bb17: {
@@ -232,7 +232,7 @@ fn b::{closure#0}(_1: Pin<&mut [async fn body@$DIR/async_await.rs:14:18: 17:2]>,
232232
bb18: {
233233
_29 = &mut (*_30);
234234
StorageDead(_31);
235-
_25 = <impl Future<Output = ()> as Future>::poll(move _26, move _29) -> [return: bb19, unwind unreachable];
235+
_25 = <[async fn body@$DIR/async_await.rs:11:14: 11:16] as Future>::poll(move _26, move _29) -> [return: bb19, unwind unreachable];
236236
}
237237

238238
bb19: {

0 commit comments

Comments
 (0)