quick fixes

rust-lang · Nov 23, 2022 · 3ba10e2 · 3ba10e2
1 parent 8e40dde
commit 3ba10e2
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/compiler/rustc_hir_typeck/src/fn_ctxt/_impl.rs b/compiler/rustc_hir_typeck/src/fn_ctxt/_impl.rs
@@ -1011,7 +1011,6 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
         hir_id: hir::HirId,
     ) -> (Ty<'tcx>, Res) {
         let tcx = self.tcx;
-        assert_eq!(res.ns(), Some(rustc_hir::def::Namespace::ValueNS));
 
         let path_segs = match res {
             Res::Local(_) | Res::SelfCtor(_) => vec![],

diff --git a/compiler/rustc_traits/src/chalk/lowering.rs b/compiler/rustc_traits/src/chalk/lowering.rs
@@ -191,7 +191,10 @@ impl<'tcx> LowerInto<'tcx, chalk_ir::GoalData<RustInterner<'tcx>>> for ty::Predi
                 GenericArgKind::Const(..) => {
                     chalk_ir::GoalData::All(chalk_ir::Goals::empty(interner))
                 }
-                GenericArgKind::Lifetime(lt) => bug!("unexpected well formed predicate: {:?}", lt),
+                // Lifetimes are unconditionally well-formed.
+                GenericArgKind::Lifetime(_) => {
+                    chalk_ir::GoalData::All(chalk_ir::Goals::empty(interner))
+                }
             },
 
             ty::PredicateKind::ObjectSafe(t) => chalk_ir::GoalData::DomainGoal(