diff --git a/tests/ui/traits/next-solver/normalize/normalize-const-in-async-body.rs b/tests/ui/traits/next-solver/normalize/normalize-const-in-async-body.rs new file mode 100644 index 0000000000000..2b9454db3fac7 --- /dev/null +++ b/tests/ui/traits/next-solver/normalize/normalize-const-in-async-body.rs @@ -0,0 +1,14 @@ +//@ compile-flags: -Znext-solver +//@ check-pass +//@ edition:2021 + +pub async fn cleanse_old_array_async(_: &[u8; BUCKET_LEN]) {} + +pub const BUCKET_LEN: usize = 0; + +pub fn cleanse_old_array_async2() -> impl std::future::Future { + let x: [u8; 0 + 0] = []; + async move { let _ = x; } +} + +fn main() {}