Function extern_spec_core_panicking_panic_nounwind 

pub fn extern_spec_core_panicking_panic_nounwind(expr: &'static str) -> !

extern spec for ::core::panicking::panic_nounwind

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

terminates

ghost

requires

false