Trait NonAtomicInvariantExt 

pub trait NonAtomicInvariantExt<'a> {
    type Inner: 'a;

    // Required method
    fn open<A, F>(self, tokens: Ghost<Tokens<'a>>, f: F) -> A
       where F: FnOnce(Ghost<&'a mut Self::Inner>) -> A;
}

Define method call syntax for NonAtomicInvariant::open.

Required Associated Types

type Inner: 'a

Required Methods

fn open<A, F>(self, tokens: Ghost<Tokens<'a>>, f: F) -> A

where F: FnOnce(Ghost<&'a mut Self::Inner>) -> A,

Alias for NonAtomicInvariant::open, to use method call syntax (inv.open(...)).

requires

false

Dyn Compatibility

This trait is not dyn compatible.

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

Implementors

impl<'a, L> NonAtomicInvariantExt<'a> for &'a Ghost<L>

where Ghost<&'a L>: NonAtomicInvariantExt<'a>,

type Inner = <Ghost<&'a L> as NonAtomicInvariantExt<'a>>::Inner

impl<'a, T: Protocol> NonAtomicInvariantExt<'a> for Ghost<&'a NonAtomicInvariant<T>>

type Inner = T

impl<'a, T> NonAtomicInvariantExt<'a> for Ghost<&'a T>

where T: Deref, Ghost<&'a T::Target>: NonAtomicInvariantExt<'a>,

type Inner = <Ghost<&'a <T as Deref>::Target> as NonAtomicInvariantExt<'a>>::Inner