diff options
-rw-r--r-- | Cargo.lock | 20 | ||||
-rw-r--r-- | crates/ra_hir_ty/Cargo.toml | 4 | ||||
-rw-r--r-- | crates/ra_hir_ty/src/traits/chalk/mapping.rs | 5 |
3 files changed, 19 insertions, 10 deletions
diff --git a/Cargo.lock b/Cargo.lock index 15c6a4c11..2e86b3fee 100644 --- a/Cargo.lock +++ b/Cargo.lock | |||
@@ -113,8 +113,9 @@ checksum = "4785bdd1c96b2a846b2bd7cc02e86b6b3dbf14e7e53446c4f54c92a361040822" | |||
113 | 113 | ||
114 | [[package]] | 114 | [[package]] |
115 | name = "chalk-derive" | 115 | name = "chalk-derive" |
116 | version = "0.10.1-dev" | 116 | version = "0.11.0" |
117 | source = "git+https://github.com/rust-lang/chalk.git?rev=329b7f3fdd2431ed6f6778cde53f22374c7d094c#329b7f3fdd2431ed6f6778cde53f22374c7d094c" | 117 | source = "registry+https://github.com/rust-lang/crates.io-index" |
118 | checksum = "5b9bd01eab87277d973183a1d2e56bace1c11f8242c52c20636fb7dddf343ac9" | ||
118 | dependencies = [ | 119 | dependencies = [ |
119 | "proc-macro2", | 120 | "proc-macro2", |
120 | "quote", | 121 | "quote", |
@@ -124,8 +125,9 @@ dependencies = [ | |||
124 | 125 | ||
125 | [[package]] | 126 | [[package]] |
126 | name = "chalk-engine" | 127 | name = "chalk-engine" |
127 | version = "0.10.1-dev" | 128 | version = "0.11.0" |
128 | source = "git+https://github.com/rust-lang/chalk.git?rev=329b7f3fdd2431ed6f6778cde53f22374c7d094c#329b7f3fdd2431ed6f6778cde53f22374c7d094c" | 129 | source = "registry+https://github.com/rust-lang/crates.io-index" |
130 | checksum = "6c7a637c3d17ed555aef16e16952a5d1e127bd55178cc30be22afeb92da90c7d" | ||
129 | dependencies = [ | 131 | dependencies = [ |
130 | "chalk-derive", | 132 | "chalk-derive", |
131 | "chalk-ir", | 133 | "chalk-ir", |
@@ -134,8 +136,9 @@ dependencies = [ | |||
134 | 136 | ||
135 | [[package]] | 137 | [[package]] |
136 | name = "chalk-ir" | 138 | name = "chalk-ir" |
137 | version = "0.10.1-dev" | 139 | version = "0.11.0" |
138 | source = "git+https://github.com/rust-lang/chalk.git?rev=329b7f3fdd2431ed6f6778cde53f22374c7d094c#329b7f3fdd2431ed6f6778cde53f22374c7d094c" | 140 | source = "registry+https://github.com/rust-lang/crates.io-index" |
141 | checksum = "595e5735ded16c3f3dc348f7b15bbb2521a0080b1863cac38ad5271589944670" | ||
139 | dependencies = [ | 142 | dependencies = [ |
140 | "chalk-derive", | 143 | "chalk-derive", |
141 | "lazy_static", | 144 | "lazy_static", |
@@ -143,8 +146,9 @@ dependencies = [ | |||
143 | 146 | ||
144 | [[package]] | 147 | [[package]] |
145 | name = "chalk-solve" | 148 | name = "chalk-solve" |
146 | version = "0.10.1-dev" | 149 | version = "0.11.0" |
147 | source = "git+https://github.com/rust-lang/chalk.git?rev=329b7f3fdd2431ed6f6778cde53f22374c7d094c#329b7f3fdd2431ed6f6778cde53f22374c7d094c" | 150 | source = "registry+https://github.com/rust-lang/crates.io-index" |
151 | checksum = "5d9d938139db425867a30cc0cfec0269406d8238d0571d829041eaa7a8455d11" | ||
148 | dependencies = [ | 152 | dependencies = [ |
149 | "chalk-derive", | 153 | "chalk-derive", |
150 | "chalk-engine", | 154 | "chalk-engine", |
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 834360430..28a5fbe3e 100644 --- a/crates/ra_hir_ty/src/traits/chalk/mapping.rs +++ b/crates/ra_hir_ty/src/traits/chalk/mapping.rs | |||
@@ -482,6 +482,11 @@ impl ToChalk for GenericPredicate { | |||
482 | let ty = from_chalk(db, projection_eq.ty); | 482 | let ty = from_chalk(db, projection_eq.ty); |
483 | GenericPredicate::Projection(ProjectionPredicate { projection_ty, ty }) | 483 | GenericPredicate::Projection(ProjectionPredicate { projection_ty, ty }) |
484 | } | 484 | } |
485 | |||
486 | chalk_ir::WhereClause::LifetimeOutlives(_) => { | ||
487 | // we shouldn't get these from Chalk | ||
488 | panic!("encountered LifetimeOutlives from Chalk") | ||
489 | } | ||
485 | } | 490 | } |
486 | } | 491 | } |
487 | } | 492 | } |