mem-markers
mem-markers copied to clipboard
rust-secure-code
Rust library for marker traits about types layout in memory
This trait indicates a type has no internal validity requirements. Even when two types are layout compatible it is not generically safe to cast between them. Types may define additional...
Should deriving `InvariantFree` require that a structs fields are the same pub level as the struct?
Since `InvariantFree` types are meant to represent types without invariants, it should reason that all the fields of the type should be accessible. Should we require that a structs fields...
Having some sort of trait for talking about a type's alignment at the type level will be useful not only for safe transmute but for other things as well. This...
There are some parts of the language with special-cased interaction based on the size information ot types. The plain `core::mem::transmute` requires the compiler to prove size-equivalence of two types, in...
Metadata
Owner
Metadata
Rust library for marker traits about types layout in memory