diff options
author | Florian Diebold <[email protected]> | 2020-06-05 16:06:07 +0100 |
---|---|---|
committer | Florian Diebold <[email protected]> | 2020-06-05 16:06:07 +0100 |
commit | 69854f7795e2a5f961f4e35c13a655f0d41cc306 (patch) | |
tree | d83365227c71ac274f15c76626a304096b69eaaa /crates | |
parent | 9c52f527a1cef7d39c2b1c55b49dc5459d392a4d (diff) |
Upgrade Chalk to published version
Diffstat (limited to 'crates')
-rw-r--r-- | crates/ra_hir_ty/Cargo.toml | 4 | ||||
-rw-r--r-- | crates/ra_hir_ty/src/traits/chalk/mapping.rs | 5 |
2 files changed, 7 insertions, 2 deletions
diff --git a/crates/ra_hir_ty/Cargo.toml b/crates/ra_hir_ty/Cargo.toml index 4b8dcdc07..112fcd07e 100644 --- a/crates/ra_hir_ty/Cargo.toml +++ b/crates/ra_hir_ty/Cargo.toml | |||
@@ -27,8 +27,8 @@ test_utils = { path = "../test_utils" } | |||
27 | 27 | ||
28 | scoped-tls = "1" | 28 | scoped-tls = "1" |
29 | 29 | ||
30 | chalk-solve = { git = "https://github.com/rust-lang/chalk.git", rev = "329b7f3fdd2431ed6f6778cde53f22374c7d094c" } | 30 | chalk-solve = "0.11" |
31 | chalk-ir = { git = "https://github.com/rust-lang/chalk.git", rev = "329b7f3fdd2431ed6f6778cde53f22374c7d094c" } | 31 | chalk-ir = "0.11" |
32 | 32 | ||
33 | [dev-dependencies] | 33 | [dev-dependencies] |
34 | insta = "0.16.0" | 34 | insta = "0.16.0" |
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 | } |