pub fn acquire_read_abandon<K, V, Pred: InvariantPredicate<K, V>>( pre: State<K, V, Pred>, ) -> State<K, V, Pred>