diff options
| author | Dario Nieuwenhuis <dirbaio@dirbaio.net> | 2022-02-21 23:27:08 +0100 |
|---|---|---|
| committer | Dario Nieuwenhuis <dirbaio@dirbaio.net> | 2022-02-21 23:27:08 +0100 |
| commit | c6f5c7ba60808bc48f4506acf40c1dabc1d07851 (patch) | |
| tree | f47815154d29c74b576380783501f01b0a11d7de /compiler | |
| parent | 03a8cc7df1d65554a4d40825b0490c93ac0f0236 (diff) | |
| download | rust-c6f5c7ba60808bc48f4506acf40c1dabc1d07851.tar.gz rust-c6f5c7ba60808bc48f4506acf40c1dabc1d07851.zip | |
chalk/lowering: lower generator types.
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/rustc_traits/src/chalk/lowering.rs | 5 |
1 files changed, 4 insertions, 1 deletions
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<RustInterner<'tcx>>> 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) => { |