diff --git a/src/tools/miri/tests/pass/async-drop.rs b/src/tools/miri/tests/pass/async-drop.rs index 744ffdeebdaf7..c289c9410b258 100644 --- a/src/tools/miri/tests/pass/async-drop.rs +++ b/src/tools/miri/tests/pass/async-drop.rs @@ -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; @@ -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; diff --git a/tests/ui/async-await/async-drop.rs b/tests/ui/async-await/async-drop.rs index d1222cd740c32..97b5a602bc377 100644 --- a/tests/ui/async-await/async-drop.rs +++ b/tests/ui/async-await/async-drop.rs @@ -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; @@ -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;