{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":".map(|trait_ref|"}]}
                            .map(|trait_ref| {
                            .iter_instantiated(cx, alias_ty.args)
                                goal.with(