Function extern_spec_core_panicking_panic_display 

pub fn extern_spec_core_panicking_panic_display<T: Display>(x: &T) -> !

extern spec for ::core::panicking::panic_display<T>

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

terminates

ghost

requires

false