diff options
| author | Matthew Jasper <mjjasper1@gmail.com> | 2020-09-07 10:01:45 +0100 |
|---|---|---|
| committer | Matthew Jasper <mjjasper1@gmail.com> | 2020-10-06 11:19:33 +0100 |
| commit | 022c148fcd9e4339b4b59dfaee58ca5905d71b2d (patch) | |
| tree | 78e9598de2e80351e8f50abf57ca9f6c0b74e8c6 /compiler/rustc_traits/src | |
| parent | 1db284ecb0039798a09e53a519219c5c556c9b38 (diff) | |
| download | rust-022c148fcd9e4339b4b59dfaee58ca5905d71b2d.tar.gz rust-022c148fcd9e4339b4b59dfaee58ca5905d71b2d.zip | |
Fix tests from rebase
Diffstat (limited to 'compiler/rustc_traits/src')
| -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 a59c81aa9b8..bdb2513cc46 100644 --- a/compiler/rustc_traits/src/chalk/lowering.rs +++ b/compiler/rustc_traits/src/chalk/lowering.rs @@ -767,7 +767,10 @@ impl<'tcx> LowerInto<'tcx, Option<chalk_solve::rust_ir::QuantifiedInlineBound<Ru | ty::PredicateAtom::ClosureKind(..) | ty::PredicateAtom::Subtype(..) | ty::PredicateAtom::ConstEvaluatable(..) - | ty::PredicateAtom::ConstEquate(..) => bug!("unexpected predicate {}", &self), + | ty::PredicateAtom::ConstEquate(..) + | ty::PredicateAtom::TypeWellFormedFromEnv(..) => { + bug!("unexpected predicate {}", &self) + } } } } |