pub fn extern_spec_core_panicking_unreachable_display<T: Display>(x: &T) -> !Expand description
extern spec for ::core::panicking::unreachable_display<T>
This is not a real function: its only use is for documentation.
terminates
ghost
requires
false