Function extern_spec_core_panicking_panic_fmt 

pub fn extern_spec_core_panicking_panic_fmt(fmt: Arguments<'_>) -> !

extern spec for ::core::panicking::panic_fmt

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

terminates

ghost

requires

false