From c6f5c7ba60808bc48f4506acf40c1dabc1d07851 Mon Sep 17 00:00:00 2001 From: Dario Nieuwenhuis Date: Mon, 21 Feb 2022 23:27:08 +0100 Subject: [PATCH] chalk/lowering: lower generator types. --- compiler/rustc_traits/src/chalk/lowering.rs | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/compiler/rustc_traits/src/chalk/lowering.rs b/compiler/rustc_traits/src/chalk/lowering.rs index 2cd179526bf..e3c865ce9e6 100644 --- a/compiler/rustc_traits/src/chalk/lowering.rs +++ b/compiler/rustc_traits/src/chalk/lowering.rs @@ -323,7 +323,10 @@ impl<'tcx> LowerInto<'tcx, chalk_ir::Ty>> for Ty<'tcx> { ty::Closure(def_id, substs) => { chalk_ir::TyKind::Closure(chalk_ir::ClosureId(def_id), substs.lower_into(interner)) } - ty::Generator(_def_id, _substs, _) => unimplemented!(), + ty::Generator(def_id, substs, _) => chalk_ir::TyKind::Generator( + chalk_ir::GeneratorId(def_id), + substs.lower_into(interner), + ), ty::GeneratorWitness(_) => unimplemented!(), ty::Never => chalk_ir::TyKind::Never, ty::Tuple(types) => {