Trait RwLockPredicate 

pub trait RwLockPredicate<V>: Sized {
    // Required method
    spec fn inv(self, v: V) -> bool;
}

Required Methods

spec fn inv(self, v: V) -> bool

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<V> RwLockPredicate<V> for FnSpec<(V,), bool>