{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":"Obligation::new(tcx,"}]}
        Obligation::new(tcx, ObligationCause::misc(span, body_id), param_env, trait_ref)
    ) -> Obligation<'tcx, O> {
    }