Function extern_spec_std_rt_begin_panic 

pub fn extern_spec_std_rt_begin_panic<M: Any + Send>(msg: M) -> !

extern spec for [::std::rt::begin_panic<M>]

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

terminates

ghost

requires

false