{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"}"}]}
            }
                replacements.push((syntax.clone(), new_lifetime.syntax().clone_for_update()));
        } else if let Some(replacement_syntax) = const_and_type_map.0.get(syntax_str) {