{"ast_node_type":"other","tokens":[{"end":6,"kind":"keyword","start":0,"text":"//"}]}
    //
    // `ObligationCause` (and the `FnCtxt`).
    // FIXME(@lcnr): remove that after removing `cause.body_id` from