diff options
| author | Bastian Kauschke <bastian_kauschke@hotmail.de> | 2020-05-12 10:53:20 +0200 |
|---|---|---|
| committer | Bastian Kauschke <bastian_kauschke@hotmail.de> | 2020-05-17 11:06:35 +0200 |
| commit | c71439791cd4b5faeb8e1de654e7557855b16c19 (patch) | |
| tree | cafbc844cc443f8d39f20feeae10623f2259499c /src | |
| parent | 3d7637e66de5dea270d729c4bbea1237b140e246 (diff) | |
| download | rust-c71439791cd4b5faeb8e1de654e7557855b16c19.tar.gz rust-c71439791cd4b5faeb8e1de654e7557855b16c19.zip | |
chalk
Diffstat (limited to 'src')
| -rw-r--r-- | src/librustc_traits/chalk/lowering.rs | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/src/librustc_traits/chalk/lowering.rs b/src/librustc_traits/chalk/lowering.rs index aacbd311d1d..184b9a9dc10 100644 --- a/src/librustc_traits/chalk/lowering.rs +++ b/src/librustc_traits/chalk/lowering.rs @@ -126,9 +126,8 @@ impl<'tcx> LowerInto<'tcx, chalk_ir::InEnvironment<chalk_ir::Goal<RustInterner<' | ty::Predicate::ObjectSafe(..) | ty::Predicate::ClosureKind(..) | ty::Predicate::Subtype(..) - | ty::Predicate::ConstEvaluatable(..) => { - bug!("unexpected predicate {}", predicate) - } + | ty::Predicate::ConstEvaluatable(..) + | ty::Predicate::ConstEquate(..) => bug!("unexpected predicate {}", predicate), } } ChalkEnvironmentClause::TypeFromEnv(ty) => Some( @@ -192,9 +191,8 @@ impl<'tcx> LowerInto<'tcx, chalk_ir::GoalData<RustInterner<'tcx>>> for ty::Predi Predicate::ObjectSafe(..) | Predicate::ClosureKind(..) | Predicate::Subtype(..) - | Predicate::ConstEvaluatable(..) => { - chalk_ir::GoalData::All(chalk_ir::Goals::new(interner)) - } + | Predicate::ConstEvaluatable(..) + | Predicate::ConstEquate(..) => chalk_ir::GoalData::All(chalk_ir::Goals::new(interner)), } } } @@ -459,7 +457,8 @@ impl<'tcx> LowerInto<'tcx, Option<chalk_ir::QuantifiedWhereClause<RustInterner<' Predicate::ObjectSafe(..) | Predicate::ClosureKind(..) | Predicate::Subtype(..) - | Predicate::ConstEvaluatable(..) => bug!("unexpected predicate {}", &self), + | Predicate::ConstEvaluatable(..) + | Predicate::ConstEquate(..) => bug!("unexpected predicate {}", &self), } } } |