Function extern_spec_core_panicking_assert_failed 

pub fn extern_spec_core_panicking_assert_failed<T: Debug + ?Sized, U: Debug + ?Sized>(
    kind: AssertKind,
    left: &T,
    right: &U,
    args: Option<Arguments<'_>>,
) -> !

extern spec for [::core::panicking::assert_failed<T, U>]

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

ghost

requires

false