Resolve some todos

Author: tiif

compiler/rustc_hir_analysis/src/collect/predicates_of.rs

@@ -747,13 +747,13 @@ pub(super) fn assert_only_contains_predicates_from<'tcx>(
                     ty::ClauseKind::RegionOutlives(_)
                     | ty::ClauseKind::ConstArgHasType(_, _)
                     | ty::ClauseKind::WellFormed(_)
+                    | ty::ClauseKind::UnstableImpl 
                     | ty::ClauseKind::ConstEvaluatable(_) => {
                         bug!(
                             "unexpected non-`Self` predicate when computing \
                             `{filter:?}` implied bounds: {clause:?}"
                         );
                     }
-                    ty::ClauseKind::UnstableImpl => todo!(),
                 }
             }
         }
@@ -775,13 +775,13 @@ pub(super) fn assert_only_contains_predicates_from<'tcx>(
                     | ty::ClauseKind::ConstArgHasType(_, _)
                     | ty::ClauseKind::WellFormed(_)
                     | ty::ClauseKind::ConstEvaluatable(_)
+                    | ty::ClauseKind::UnstableImpl 
                     | ty::ClauseKind::HostEffect(..) => {
                         bug!(
                             "unexpected non-`Self` predicate when computing \
                             `{filter:?}` implied bounds: {clause:?}"
                         );
                     }
-                    ty::ClauseKind::UnstableImpl => todo!(),
                 }
             }
         }

compiler/rustc_hir_analysis/src/impl_wf_check/min_specialization.rs

@@ -496,7 +496,7 @@ fn trait_specialization_kind<'tcx>(
         | ty::ClauseKind::ConstArgHasType(..)
         | ty::ClauseKind::WellFormed(_)
         | ty::ClauseKind::ConstEvaluatable(..)
+        | ty::ClauseKind::UnstableImpl
         | ty::ClauseKind::HostEffect(..) => None,
-        ty::ClauseKind::UnstableImpl => todo!(),
     }
 }

compiler/rustc_hir_typeck/src/fn_ctxt/inspect_obligations.rs

@@ -53,8 +53,8 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
             | ty::PredicateKind::Clause(ty::ClauseKind::ConstEvaluatable(..))
             | ty::PredicateKind::ConstEquate(..)
             | ty::PredicateKind::Clause(ty::ClauseKind::HostEffect(..))
+            | ty::PredicateKind::Clause(ty::ClauseKind::UnstableImpl)
             | ty::PredicateKind::Ambiguous => false,
-            ty::PredicateKind::Clause(ty::ClauseKind::UnstableImpl) => todo!(),
         }
     }
 

compiler/rustc_hir_typeck/src/method/probe.rs

@@ -926,8 +926,8 @@ impl<'a, 'tcx> ProbeContext<'a, 'tcx> {
                 | ty::ClauseKind::ConstArgHasType(_, _)
                 | ty::ClauseKind::WellFormed(_)
                 | ty::ClauseKind::ConstEvaluatable(_)
+                | ty::ClauseKind::UnstableImpl
                 | ty::ClauseKind::HostEffect(..) => None,
-                ty::ClauseKind::UnstableImpl => todo!(),
             }
         });
 

compiler/rustc_lint/src/builtin.rs

@@ -1561,8 +1561,9 @@ impl<'tcx> LateLintPass<'tcx> for TrivialConstraints {
                     ClauseKind::TypeOutlives(..) |
                     ClauseKind::RegionOutlives(..) => "lifetime",
 
+                    ClauseKind::UnstableImpl
                     // `ConstArgHasType` is never global as `ct` is always a param
-                    ClauseKind::ConstArgHasType(..)
+                    | ClauseKind::ConstArgHasType(..)
                     // Ignore projections, as they can only be global
                     // if the trait bound is global
                     | ClauseKind::Projection(..)
@@ -1572,7 +1573,6 @@ impl<'tcx> LateLintPass<'tcx> for TrivialConstraints {
                     | ClauseKind::ConstEvaluatable(..)
                     // Users don't write this directly, only via another trait ref.
                     | ty::ClauseKind::HostEffect(..) => continue,
-                    ty::ClauseKind::UnstableImpl => todo!(),
                 };
                 if predicate.is_global() {
                     cx.emit_span_lint(