aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>2020-06-05 17:05:06 +0100
committerGitHub <[email protected]>2020-06-05 17:05:06 +0100
commit02f7b5d7abbab829c2a0f66cdcbb6678afb412a4 (patch)
tree24528ebf2537937803c58bf0b382161de8362d3a
parent2a3ab7f3b4b6f1917a55025d54ac39b0a0642b6e (diff)
parent69854f7795e2a5f961f4e35c13a655f0d41cc306 (diff)
Merge #4761
4761: Upgrade Chalk to published version r=matklad a=flodiebold CC @pksunkara Co-authored-by: Florian Diebold <[email protected]>
-rw-r--r--Cargo.lock20
-rw-r--r--crates/ra_hir_ty/Cargo.toml4
-rw-r--r--crates/ra_hir_ty/src/traits/chalk/mapping.rs5
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]]
115name = "chalk-derive" 115name = "chalk-derive"
116version = "0.10.1-dev" 116version = "0.11.0"
117source = "git+https://github.com/rust-lang/chalk.git?rev=329b7f3fdd2431ed6f6778cde53f22374c7d094c#329b7f3fdd2431ed6f6778cde53f22374c7d094c" 117source = "registry+https://github.com/rust-lang/crates.io-index"
118checksum = "5b9bd01eab87277d973183a1d2e56bace1c11f8242c52c20636fb7dddf343ac9"
118dependencies = [ 119dependencies = [
119 "proc-macro2", 120 "proc-macro2",
120 "quote", 121 "quote",
@@ -124,8 +125,9 @@ dependencies = [
124 125
125[[package]] 126[[package]]
126name = "chalk-engine" 127name = "chalk-engine"
127version = "0.10.1-dev" 128version = "0.11.0"
128source = "git+https://github.com/rust-lang/chalk.git?rev=329b7f3fdd2431ed6f6778cde53f22374c7d094c#329b7f3fdd2431ed6f6778cde53f22374c7d094c" 129source = "registry+https://github.com/rust-lang/crates.io-index"
130checksum = "6c7a637c3d17ed555aef16e16952a5d1e127bd55178cc30be22afeb92da90c7d"
129dependencies = [ 131dependencies = [
130 "chalk-derive", 132 "chalk-derive",
131 "chalk-ir", 133 "chalk-ir",
@@ -134,8 +136,9 @@ dependencies = [
134 136
135[[package]] 137[[package]]
136name = "chalk-ir" 138name = "chalk-ir"
137version = "0.10.1-dev" 139version = "0.11.0"
138source = "git+https://github.com/rust-lang/chalk.git?rev=329b7f3fdd2431ed6f6778cde53f22374c7d094c#329b7f3fdd2431ed6f6778cde53f22374c7d094c" 140source = "registry+https://github.com/rust-lang/crates.io-index"
141checksum = "595e5735ded16c3f3dc348f7b15bbb2521a0080b1863cac38ad5271589944670"
139dependencies = [ 142dependencies = [
140 "chalk-derive", 143 "chalk-derive",
141 "lazy_static", 144 "lazy_static",
@@ -143,8 +146,9 @@ dependencies = [
143 146
144[[package]] 147[[package]]
145name = "chalk-solve" 148name = "chalk-solve"
146version = "0.10.1-dev" 149version = "0.11.0"
147source = "git+https://github.com/rust-lang/chalk.git?rev=329b7f3fdd2431ed6f6778cde53f22374c7d094c#329b7f3fdd2431ed6f6778cde53f22374c7d094c" 150source = "registry+https://github.com/rust-lang/crates.io-index"
151checksum = "5d9d938139db425867a30cc0cfec0269406d8238d0571d829041eaa7a8455d11"
148dependencies = [ 152dependencies = [
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
28scoped-tls = "1" 28scoped-tls = "1"
29 29
30chalk-solve = { git = "https://github.com/rust-lang/chalk.git", rev = "329b7f3fdd2431ed6f6778cde53f22374c7d094c" } 30chalk-solve = "0.11"
31chalk-ir = { git = "https://github.com/rust-lang/chalk.git", rev = "329b7f3fdd2431ed6f6778cde53f22374c7d094c" } 31chalk-ir = "0.11"
32 32
33[dev-dependencies] 33[dev-dependencies]
34insta = "0.16.0" 34insta = "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}