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", so this trait is not object safe.

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> 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

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

type Inner = T