Module transmute

Macros§

InvariantsEq: Denotes that two types have the same invariants.
MutationCompatible: Denotes that src: Ptr<Src, (A, _, SV)> and dst: Ptr<Self, (A, _, DV)>, referencing the same referent at the same time, cannot be used by safe code to break library safety invariants of Src or Self.
SizeEq: Safety
TransmuteFrom: Denotes that any SV-valid Src may soundly be transmuted into a DV-valid Self.
TransmuteFromPtr: Transmutations which are always sound.
TryTransmuteFromPtr: Transmutations which are sound to attempt, conditional on validating the bit validity of the destination type.