@0,1⦊async fn foo() -> [bool; 10] ⦉@0,1{ [false; 10] }