{"ast_node_type":"other","tokens":[{"end":82,"kind":"keyword","start":0,"text":"//"}]}
                        // FIXME: Account for `#[no_implicit_prelude]` attributes.
                        self.def_span(def_id),
                        parent.is_some_and(|module| module.no_implicit_prelude),