pub trait GuardRef<T> {
// Required method
fn guards_ref(self, x: T) -> bool;
}Expand description
Guard predicate under mutable references.
Notably, G: GuardRef<T> implies G: Guard<&mut T>
and G: Guard<FullBorrow<T>>.
Required Methods§
Sourcefn guards_ref(self, x: T) -> bool
fn guards_ref(self, x: T) -> bool
logic(prophetic) ⚠
Dyn Compatibility§
This trait is dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety".