Function extern_spec_core_panicking_panic 

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

extern spec for ::core::panicking::panic

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

terminates

ghost

requires

false