{"ast_node_type":"other","tokens":[{"end":37,"kind":"keyword","start":0,"text":"cause:"}]}
        cause: ObligationCause<'tcx>,
        fcx: &'f FnCtxt<'f, 'tcx>,
        allow_two_phase: AllowTwoPhase,