Skip to content

Commit

Permalink
Bless new async destructor sizes in async drop tests
Browse files Browse the repository at this point in the history
  • Loading branch information
zetanumbers committed May 24, 2024
1 parent 9902c5b commit 74df792
Show file tree
Hide file tree
Showing 2 changed files with 10 additions and 10 deletions.
10 changes: 5 additions & 5 deletions src/tools/miri/tests/pass/async-drop.rs
Original file line number Diff line number Diff line change
Expand Up @@ -46,7 +46,7 @@ fn main() {

let i = 13;
let fut = pin!(async {
test_async_drop(Int(0), 16).await;
test_async_drop(Int(0), 0).await;
test_async_drop(AsyncInt(0), 104).await;
test_async_drop([AsyncInt(1), AsyncInt(2)], 152).await;
test_async_drop((AsyncInt(3), AsyncInt(4)), 488).await;
Expand All @@ -71,13 +71,13 @@ fn main() {
)
.await;

test_async_drop(AsyncEnum::A(AsyncInt(12)), 792).await;
test_async_drop(AsyncEnum::B(SyncInt(13)), 792).await;
test_async_drop(AsyncEnum::A(AsyncInt(12)), 680).await;
test_async_drop(AsyncEnum::B(SyncInt(13)), 680).await;

test_async_drop(SyncInt(14), 72).await;
test_async_drop(SyncInt(14), 16).await;
test_async_drop(
SyncThenAsync { i: 15, a: AsyncInt(16), b: SyncInt(17), c: AsyncInt(18) },
3512,
3064,
)
.await;

Expand Down
10 changes: 5 additions & 5 deletions tests/ui/async-await/async-drop.rs
Original file line number Diff line number Diff line change
Expand Up @@ -48,7 +48,7 @@ fn main() {

let i = 13;
let fut = pin!(async {
test_async_drop(Int(0), 16).await;
test_async_drop(Int(0), 0).await;
test_async_drop(AsyncInt(0), 104).await;
test_async_drop([AsyncInt(1), AsyncInt(2)], 152).await;
test_async_drop((AsyncInt(3), AsyncInt(4)), 488).await;
Expand All @@ -73,13 +73,13 @@ fn main() {
)
.await;

test_async_drop(AsyncEnum::A(AsyncInt(12)), 792).await;
test_async_drop(AsyncEnum::B(SyncInt(13)), 792).await;
test_async_drop(AsyncEnum::A(AsyncInt(12)), 680).await;
test_async_drop(AsyncEnum::B(SyncInt(13)), 680).await;

test_async_drop(SyncInt(14), 72).await;
test_async_drop(SyncInt(14), 16).await;
test_async_drop(
SyncThenAsync { i: 15, a: AsyncInt(16), b: SyncInt(17), c: AsyncInt(18) },
3512,
3064,
)
.await;

Expand Down

0 comments on commit 74df792

Please sign in to comment.