Skip to main content

PinAdditionalSpecFns

Trait PinAdditionalSpecFns 

Source
pub trait PinAdditionalSpecFns<'a, T: ?Sized> {
    // Required method
    spec fn mut_ref(&self) -> MutRef<'a, T>;
}

Required Methods§

Source

spec fn mut_ref(&self) -> MutRef<'a, T>

Dyn Compatibility§

This trait is dyn compatible.

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

Implementations on Foreign Types§

Source§

impl<'a, T: ?Sized> PinAdditionalSpecFns<'a, T> for Pin<&'a mut T>

Source§

uninterp spec fn mut_ref(&self) -> MutRef<'a, T>

Implementors§