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.

Dyn Compatibility

This trait is dyn compatible.

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

Implementors

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

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

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

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

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