{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":".substitute(Interner,"}]}
                    .substitute(Interner, parameters)
                    .clone()
                    .into_value_and_skipped_binders();