{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"obligations:"}]}
                obligations: PredicateObligations::new(),
                cur_ty: infcx.resolve_vars_if_possible(base_ty),
                at_start: true,