fn report_forbidden_specialization(
    tcx: TyCtxt<'_>,
    impl_item: &ImplItemRef,
    parent_impl: DefId
)