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