//@ check-pass
//@ edition:2021
#![feature(generic_const_exprs)]
#![allow(incomplete_features)]
#[allow(unused)]
async fn foo<'a>() {
let _data = &mut [0u8; { 1 + 4 }];
bar().await
}
async fn bar() {}
fn main() {}