pub(super) fn check_min_specialization(
    tcx: TyCtxt<'_>,
    impl_def_id: LocalDefId
) -> Result<(), ErrorGuaranteed>