{"ast_node_type":"other","tokens":[{"end":24,"kind":"keyword","start":0,"text":"s.push('.');"}]}
            s.push('.');
            }));
            s.extend(impl_cor.to_string().chars().filter_map(|c| match c {