pub enum Negative {}Expand description
A type is being used in a negative position in the overall type: it is implemented by the host, and the guest calls it.
Trait Implementations§
Source§impl Positivity for Negative
impl Positivity for Negative
Source§type CallResult<T> = T
type CallResult<T> = T
A host implementation is called directly, so it cannot fail.
Source§type Borrow<'a, T: 'a> = BorrowedResourceGuard<'a, T>
type Borrow<'a, T: 'a> = BorrowedResourceGuard<'a, T>
A handle arrives as an index into the resource table, held borrowed for the duration of the call.
type NegativeOfThis = Positive
Auto Trait Implementations§
impl Freeze for Negative
impl RefUnwindSafe for Negative
impl Send for Negative
impl Sync for Negative
impl Unpin for Negative
impl UnsafeUnpin for Negative
impl UnwindSafe for Negative
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more