{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"cur_ty:"}]}
                cur_ty: infcx.resolve_vars_if_possible(base_ty),
                steps: vec![],
                obligations: PredicateObligations::new(),