{"ast_node_type":"other","tokens":[{"end":90,"kind":"keyword","start":0,"text":"//"}]}
    // While promoteds should mostly be correct by construction, we need to check them for
    let diags_buffer = &mut BorrowckDiagnosticsBuffer::default();
    // invalid moves to detect moving out of arrays:`struct S; fn main() { &([S][0]); }`.