quick fixes

Author: aliemjay

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![],

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(