{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"MixedBitSet::new_empty(self.borrow_set.len())"}]}
        MixedBitSet::new_empty(self.borrow_set.len())
        // bottom = nothing is reserved or activated yet;
    }