{"ast_node_type":"other","tokens":[{"end":33,"kind":"keyword","start":0,"text":"old_crate"}]}
                        old_crate
                    if krate.extra != *old_crate.extra_data(db) {
                            .set_extra_data(db)