Add more todos

Author: tiif

compiler/rustc_hir_analysis/src/collect/predicates_of.rs

@@ -752,7 +752,8 @@ pub(super) fn assert_only_contains_predicates_from<'tcx>(
                             "unexpected non-`Self` predicate when computing \
                             `{filter:?}` implied bounds: {clause:?}"
                         );
-                    }
+                    },
+                    ty::ClauseKind::UnstableImpl => todo!()
                 }
             }
         }
@@ -780,6 +781,7 @@ pub(super) fn assert_only_contains_predicates_from<'tcx>(
                             `{filter:?}` implied bounds: {clause:?}"
                         );
                     }
+                    ty::ClauseKind::UnstableImpl => todo!()
                 }
             }
         }

compiler/rustc_hir_analysis/src/impl_wf_check/min_specialization.rs

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

compiler/rustc_hir_analysis/src/outlives/explicit.rs

@@ -54,6 +54,7 @@ impl<'tcx> ExplicitPredicatesMap<'tcx> {
                     | ty::ClauseKind::ConstArgHasType(_, _)
                     | ty::ClauseKind::WellFormed(_)
                     | ty::ClauseKind::ConstEvaluatable(_)
+                    | ty::ClauseKind::UnstableImpl
                     | ty::ClauseKind::HostEffect(..) => {}
                 }
             }

compiler/rustc_hir_typeck/src/fn_ctxt/inspect_obligations.rs

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

compiler/rustc_hir_typeck/src/method/probe.rs

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

compiler/rustc_lint/src/builtin.rs

@@ -1572,6 +1572,7 @@ 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(

compiler/rustc_privacy/src/lib.rs

@@ -158,6 +158,7 @@ where
             }
             ty::ClauseKind::ConstEvaluatable(ct) => ct.visit_with(self),
             ty::ClauseKind::WellFormed(arg) => arg.visit_with(self),
+            ty::ClauseKind::UnstableImpl => todo!(), // TODO: maybe we need a visit with function here too?
         }
     }
 

compiler/rustc_traits/src/normalize_erasing_regions.rs

@@ -57,6 +57,7 @@ fn not_outlives_predicate(p: ty::Predicate<'_>) -> bool {
         | ty::PredicateKind::Clause(ty::ClauseKind::Projection(..))
         | ty::PredicateKind::Clause(ty::ClauseKind::HostEffect(..))
         | ty::PredicateKind::Clause(ty::ClauseKind::ConstArgHasType(..))
+        | ty::PredicateKind::Clause(ty::ClauseKind::UnstableImpl)
         | ty::PredicateKind::NormalizesTo(..)
         | ty::PredicateKind::AliasRelate(..)
         | ty::PredicateKind::Clause(ty::ClauseKind::WellFormed(..))

src/librustdoc/clean/mod.rs

@@ -398,6 +398,7 @@ pub(crate) fn clean_predicate<'tcx>(
         | ty::ClauseKind::ConstArgHasType(..)
         // FIXME(const_trait_impl): We can probably use this `HostEffect` pred to render `~const`.
         | ty::ClauseKind::HostEffect(_) => None,
+        ty::ClauseKind::UnstableImpl => todo!(),
     }
 }