Trait LocalInvariantExt 

pub trait LocalInvariantExt<'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 LocalInvariant::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 LocalInvariant::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> LocalInvariantExt<'a> for &'a Ghost<L>

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

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

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

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

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

impl<'a, T: Protocol> LocalInvariantExt<'a> for Ghost<&'a LocalInvariant<T>>

type Inner = T