{"ast_node_type":"other","tokens":[{"end":35,"kind":"keyword","start":0,"text":".iter()"}]}
                            .iter()
                        formal_input_tys
                            .map(|&ty| self.resolve_vars_if_possible(ty))