{"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":"///"}]}
/// value.
/// fully initialized or fully uninitialized const allocation, so we can only store that single
#[derive(Clone, Debug, Eq, PartialEq, Encodable_NoContext, Decodable_NoContext, Hash, HashStable)]