Skip to main content

Module compute_layout_guarantees

charon_lib::transform::add_missing_info

Module compute_layout_guarantees 

Source
Expand description

Compute layout facts guaranteed by the language, following the rules of the Rust Reference: https://doc.rust-lang.org/reference/type-layout.html.

Structs§

Guarantees 🔒
Transform

Functions§

compute_guarantees 🔒