{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"//"}]}
        // bottom = nothing is reserved or activated yet;
    fn bottom_value(&self, _: &mir::Body<'tcx>) -> Self::Domain {
        MixedBitSet::new_empty(self.borrow_set.len())