Skip to content

Commit 4406287

Browse files
committed
Bless new async destructor sizes in async drop tests
1 parent 50ea1de commit 4406287

File tree

2 files changed

+10
-10
lines changed

2 files changed

+10
-10
lines changed

src/tools/miri/tests/pass/async-drop.rs

+5-5
Original file line numberDiff line numberDiff line change
@@ -46,7 +46,7 @@ fn main() {
4646

4747
let i = 13;
4848
let fut = pin!(async {
49-
test_async_drop(Int(0), 16).await;
49+
test_async_drop(Int(0), 0).await;
5050
test_async_drop(AsyncInt(0), 104).await;
5151
test_async_drop([AsyncInt(1), AsyncInt(2)], 152).await;
5252
test_async_drop((AsyncInt(3), AsyncInt(4)), 488).await;
@@ -71,13 +71,13 @@ fn main() {
7171
)
7272
.await;
7373

74-
test_async_drop(AsyncEnum::A(AsyncInt(12)), 792).await;
75-
test_async_drop(AsyncEnum::B(SyncInt(13)), 792).await;
74+
test_async_drop(AsyncEnum::A(AsyncInt(12)), 680).await;
75+
test_async_drop(AsyncEnum::B(SyncInt(13)), 680).await;
7676

77-
test_async_drop(SyncInt(14), 72).await;
77+
test_async_drop(SyncInt(14), 16).await;
7878
test_async_drop(
7979
SyncThenAsync { i: 15, a: AsyncInt(16), b: SyncInt(17), c: AsyncInt(18) },
80-
3512,
80+
3064,
8181
)
8282
.await;
8383

tests/ui/async-await/async-drop.rs

+5-5
Original file line numberDiff line numberDiff line change
@@ -48,7 +48,7 @@ fn main() {
4848

4949
let i = 13;
5050
let fut = pin!(async {
51-
test_async_drop(Int(0), 16).await;
51+
test_async_drop(Int(0), 0).await;
5252
test_async_drop(AsyncInt(0), 104).await;
5353
test_async_drop([AsyncInt(1), AsyncInt(2)], 152).await;
5454
test_async_drop((AsyncInt(3), AsyncInt(4)), 488).await;
@@ -73,13 +73,13 @@ fn main() {
7373
)
7474
.await;
7575

76-
test_async_drop(AsyncEnum::A(AsyncInt(12)), 792).await;
77-
test_async_drop(AsyncEnum::B(SyncInt(13)), 792).await;
76+
test_async_drop(AsyncEnum::A(AsyncInt(12)), 680).await;
77+
test_async_drop(AsyncEnum::B(SyncInt(13)), 680).await;
7878

79-
test_async_drop(SyncInt(14), 72).await;
79+
test_async_drop(SyncInt(14), 16).await;
8080
test_async_drop(
8181
SyncThenAsync { i: 15, a: AsyncInt(16), b: SyncInt(17), c: AsyncInt(18) },
82-
3512,
82+
3064,
8383
)
8484
.await;
8585

0 commit comments

Comments
 (0)