Module check_validity_requirement 

Re-exports

use rustc_abi::BackendRepr; 🔒

use rustc_abi::FieldsShape; 🔒

use rustc_abi::Scalar; 🔒

use rustc_abi::Variants; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::layout::HasTyCtxt; 🔒

use rustc_middle::ty::layout::LayoutCx; 🔒

use rustc_middle::ty::layout::LayoutError; 🔒

use rustc_middle::ty::layout::LayoutOf; 🔒

use rustc_middle::ty::layout::TyAndLayout; 🔒

use rustc_middle::ty::layout::ValidityRequirement; 🔒

use rustc_middle::ty::print::with_no_trimmed_paths; 🔒

use rustc_middle::ty::print::with_no_trimmed_paths; 🔒

use rustc_middle::ty::PseudoCanonicalInput; 🔒

use rustc_middle::ty::ScalarInt; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_span::DUMMY_SP; 🔒

use rustc_span::bug; 🔒

use crate::const_eval::CanAccessMutGlobal; 🔒

use crate::const_eval::CheckAlignment; 🔒

use crate::const_eval::CompileTimeMachine; 🔒

use crate::interpret::InterpCx; 🔒

use crate::interpret::MemoryKind; 🔒

Functions

check_validity_requirement

Determines if this type permits “raw” initialization by just transmuting some memory into an instance of T.

check_validity_requirement_lax 🔒

Implements the ‘lax’ (default) version of the check_validity_requirement checks; see that function for details.

check_validity_requirement_strict 🔒

Implements the ‘strict’ version of the check_validity_requirement checks; see that function for details.

validate_scalar_in_layout 🔒