{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":"names.extend(self.r.extern_prelude.keys().flat_map(|ident|"}]}
                            names.extend(self.r.extern_prelude.keys().flat_map(|ident| {
                        if !module.no_implicit_prelude {
                                let res = Res::Def(DefKind::Mod, CRATE_DEF_ID.to_def_id());