Trait BorrowSpec 

pub trait BorrowSpec<Borrowed: ?Sized>: Borrow<Borrowed> {
    // Required methods
    spec fn obeys_borrow_spec() -> bool;
    spec fn borrow_spec(&self) -> &Borrowed;
}

Required Methods

spec fn obeys_borrow_spec() -> bool

spec fn borrow_spec(&self) -> &Borrowed

Dyn Compatibility

This trait is not dyn compatible.

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

Implementors

impl<Borrowed: ?Sized, VERUS_SPEC__A: Borrow<Borrowed> + ?Sized> BorrowSpec<Borrowed> for VERUS_SPEC__A