{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"///"}]}
        /// If this is `true`, the allocation must be immutable.
        /// Indicates whether `make_global` was called on this allocation.
        was_made_global: bool,