{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":".params_and_return"}]}
                        .params_and_return
                        .substitute(Interner, &subst)
                        .iter(),