Function hax_frontend_exporter::utils::s_expect_impls::s_expect_error

fn s_expect_error<'tcx>(
    s: &impl BaseState<'tcx>,
    expected: impl Debug,
    got: impl Debug,
    message: &str,
) -> !