Trait ExBorrow 

pub trait ExBorrow<Borrowed: ?Sized> {
    type ExternalTraitSpecificationFor: Borrow<Borrowed>;

    // Required methods
    spec fn obeys_borrow_spec() -> bool;
    spec fn borrow_spec(&self) -> &Borrowed;
    exec fn borrow(&self) -> result : &Borrowed;
}

Required Associated Types

type ExternalTraitSpecificationFor: Borrow<Borrowed>

Required Methods

spec fn obeys_borrow_spec() -> bool

spec fn borrow_spec(&self) -> &Borrowed

exec fn borrow(&self) -> result : &Borrowed

ensures

Self::obeys_borrow_spec() ==> result == self.borrow_spec(),

Dyn Compatibility

This trait is not dyn compatible.

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

Implementors