aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty/src
diff options
context:
space:
mode:
authorFlorian Diebold <[email protected]>2020-06-05 16:06:07 +0100
committerFlorian Diebold <[email protected]>2020-06-05 16:06:07 +0100
commit69854f7795e2a5f961f4e35c13a655f0d41cc306 (patch)
treed83365227c71ac274f15c76626a304096b69eaaa /crates/ra_hir_ty/src
parent9c52f527a1cef7d39c2b1c55b49dc5459d392a4d (diff)
Upgrade Chalk to published version
Diffstat (limited to 'crates/ra_hir_ty/src')
-rw-r--r--crates/ra_hir_ty/src/traits/chalk/mapping.rs5
1 files changed, 5 insertions, 0 deletions
diff --git a/crates/ra_hir_ty/src/traits/chalk/mapping.rs b/crates/ra_hir_ty/src/traits/chalk/mapping.rs
index 5f6daf842..9150f65d4 100644
--- a/crates/ra_hir_ty/src/traits/chalk/mapping.rs
+++ b/crates/ra_hir_ty/src/traits/chalk/mapping.rs
@@ -447,6 +447,11 @@ impl ToChalk for GenericPredicate {
447 let ty = from_chalk(db, projection_eq.ty); 447 let ty = from_chalk(db, projection_eq.ty);
448 GenericPredicate::Projection(ProjectionPredicate { projection_ty, ty }) 448 GenericPredicate::Projection(ProjectionPredicate { projection_ty, ty })
449 } 449 }
450
451 chalk_ir::WhereClause::LifetimeOutlives(_) => {
452 // we shouldn't get these from Chalk
453 panic!("encountered LifetimeOutlives from Chalk")
454 }
450 } 455 }
451 } 456 }
452} 457}