Trait InvariantsEq 

pub unsafe trait InvariantsEq<T: ?Sized> { }

Denotes that two types have the same invariants.

Safety

It is sound for safe code to operate on a &T and a &Self pointing to the same referent at the same time - no such safe code can cause undefined behavior.

Implementors

impl<T> InvariantsEq<Wrapping<T>> for T

impl<T> InvariantsEq<T> for Wrapping<T>

impl<T: ?Sized> InvariantsEq<ManuallyDrop<T>> for T

impl<T: ?Sized> InvariantsEq<T> for ManuallyDrop<T>

impl<T: ?Sized> InvariantsEq<T> for T