Trait creusot_contracts::util::MakeSized

pub trait MakeSized {
    // Required method
    fn make_sized(&self) -> SizedW<Self>;
}

Helper trait to turn a T into a SizedW<T>

Required Methods

fn make_sized(&self) -> SizedW<Self>

Turn a T into a SizedW<T>

logic

Object Safety

This trait is not object safe.

Implementors

impl<T: ?Sized> MakeSized for T