Skip to main content

ValidMutBorrowCommutativityFor

Trait ValidMutBorrowCommutativityFor 

Source
pub trait ValidMutBorrowCommutativityFor<F: FnMut(&In) -> Out, In: ?Sized, Out, O: Ordering, const WAS_MUT: bool>: Sealed<F, In, Out, O, WAS_MUT> { }
Expand description

Marker trait for commutativity of closures that borrow their input (FnMut(&In) -> Out).

Dyn Compatibility§

This trait is dyn compatible.

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

Implementors§

Source§

impl<In: ?Sized, Out, F: Fn(&In) -> Out, O: Ordering> ValidMutBorrowCommutativityFor<F, In, Out, O, false> for NotProved

Source§

impl<In: ?Sized, Out, F: Fn(&In) -> Out, O: Ordering> ValidMutBorrowCommutativityFor<F, In, Out, O, false> for Proved

Source§

impl<In: ?Sized, Out, F: FnMut(&In) -> Out, O: Ordering> ValidMutBorrowCommutativityFor<F, In, Out, O, true> for Proved

Source§

impl<In: ?Sized, Out, F: FnMut(&In) -> Out> ValidMutBorrowCommutativityFor<F, In, Out, TotalOrder, true> for NotProved