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