{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
    ///
    /// limit access to provenance outside of the `Allocation` abstraction.
    pub fn range_empty(&self, range: AllocRange, cx: &impl HasDataLayout) -> bool {