Function extern_spec_core_intrinsics_ub_checks 

pub fn extern_spec_core_intrinsics_ub_checks() -> bool

extern spec for ::core::intrinsics::ub_checks

This is not a real function: its only use is for documentation.

terminates

ghost