pub fn extern_spec_core_panicking_panic_nounwind_nobacktrace(
expr: &'static str,
) -> !Expand description
extern spec for ::core::panicking::panic_nounwind_nobacktrace
This is not a real function: its only use is for documentation.
terminates
ghost
requires
false