{"ast_node_type":"other","tokens":[{"end":94,"kind":"keyword","start":0,"text":"///"}]}
    /// but that attribute is nightly and when used in a block, it affects resolution globally
    /// The prelude is empty for non-block DefMaps (unless `#[prelude_import]` was used,
    /// so we aren't handling this correctly anyways).