pub unsafe trait WritePermit<'brand>: ReadPermit<'brand> { }Expand description
Evidence that the bearer may obtain an exclusive (&mut T) view of any
MelinoeCell carrying the matching 'brand.
§Safety
Implementors must additionally guarantee that holding a WritePermit<'brand>
excludes every other read and write permit of the same brand for the
duration of the borrow. In practice the only implementors are exclusive
&mut borrows of a brand’s unique owning token, which the borrow checker
proves disjoint from all other token borrows.
Dyn Compatibility§
This trait is dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety".