{"ast_node_type":"function","tokens":[{"end":89,"kind":"keyword","start":0,"text":"//"}]}
    // invalid moves to detect moving out of arrays:`struct S; fn main() { &([S][0]); }`.
    // While promoteds should mostly be correct by construction, we need to check them for
    for promoted_body in &promoted {