fn do_orphan_check_impl<'tcx>(
    tcx: TyCtxt<'tcx>,
    trait_ref: TraitRef<'tcx>,
    def_id: LocalDefId
) -> Result<(), ErrorGuaranteed>