Trait creusot_contracts::std::mem::BikeshedIntrinsicFrom

pub unsafe trait BikeshedIntrinsicFrom<Src, const ASSUME: Assume = core::::mem::transmutability::BikeshedIntrinsicFrom::{constant#0}>
where
    Src: ?Sized,
{ }

🔬This is a nightly-only experimental API. (transmutability)

Are values of a type transmutable into values of another type?

This trait is implemented on-the-fly by the compiler for types Src and Self when the bits of any value of type Self are safely transmutable into a value of type Dst, in a given Context, notwithstanding whatever safety checks you have asked the compiler to Assume are satisfied.

Implementors