Skip to main content

Module intrinsics

Module intrinsics 

Source

Functions§

discriminant_value_logic

logic(open, inline)

extern_spec_core_intrinsics_align_of
extern spec for ::core::intrinsics::align_of<T>
extern_spec_core_intrinsics_assume⚠
extern spec for ::core::intrinsics::assume
extern_spec_core_intrinsics_discriminant_value
extern spec for ::core::intrinsics::discriminant_value<T>
extern_spec_core_intrinsics_size_of
extern spec for ::core::intrinsics::size_of<T>
extern_spec_core_intrinsics_ub_checks
extern spec for ::core::intrinsics::ub_checks
extern_spec_core_intrinsics_unreachable⚠
extern spec for ::core::intrinsics::unreachable