{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":")"}]}
    ) -> ObligationCause<'tcx> {
        code: ObligationCauseCode<'tcx>,
        ObligationCause { span, body_id, code: code.into() }