Function extern_spec_core_panicking_assert_failed 

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

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

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

terminates

ghost

requires

false