{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"//"}]}
    // error message and to avoid breaking the assumption of `mir_borrowck`
    // We only need to check the goals while ignoring lifetimes to give good
    // that all obligations already hold modulo regions.