Function creusot_contracts::std::intrinsics::assert_zero_valid

pub const extern "rust-intrinsic" fn assert_zero_valid<T>()

🔬This is a nightly-only experimental API. (core_intrinsics)

A guard for unsafe functions that cannot ever be executed if T does not permit zero-initialization: This will statically either panic, or do nothing.

This intrinsic does not have a stable counterpart.