pub(super) fn check_min_specialization(
    tcx: TyCtxt<'_>,
    impl_def_id: DefId,
    span: Span
)