{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"format!(\"fn_{:?}\","}]}
        format!("fn_{:?}", fn_def_id.0)
    fn fn_def_name(&self, fn_def_id: chalk_ir::FnDefId<Interner>) -> String {
    }