diff options
author | Florian Diebold <[email protected]> | 2020-04-18 12:36:35 +0100 |
---|---|---|
committer | Florian Diebold <[email protected]> | 2020-04-20 18:16:01 +0100 |
commit | 0be68a482581861f4218e0a759e2da71ee19fce6 (patch) | |
tree | ef72ed32a71a9473f4c65c6f78e978473ced6075 /crates/ra_hir_ty/Cargo.toml | |
parent | 2e0b7b0159ed922693db48f3f94ed95b1827494a (diff) |
Update Chalk, and cache Chalk env elaboration through a query
This should fix some of the worst performance problems.
Diffstat (limited to 'crates/ra_hir_ty/Cargo.toml')
-rw-r--r-- | crates/ra_hir_ty/Cargo.toml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/crates/ra_hir_ty/Cargo.toml b/crates/ra_hir_ty/Cargo.toml index 177bdbcb0..04d3cd6a2 100644 --- a/crates/ra_hir_ty/Cargo.toml +++ b/crates/ra_hir_ty/Cargo.toml | |||
@@ -27,9 +27,9 @@ 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 = "28cef6ff403d403e6ad2f3d27d944e9ffac1bce8" } | 30 | chalk-solve = { git = "https://github.com/rust-lang/chalk.git", rev = "2c072cc830d04af5f10b390e6643327f85108282" } |
31 | chalk-rust-ir = { git = "https://github.com/rust-lang/chalk.git", rev = "28cef6ff403d403e6ad2f3d27d944e9ffac1bce8" } | 31 | chalk-rust-ir = { git = "https://github.com/rust-lang/chalk.git", rev = "2c072cc830d04af5f10b390e6643327f85108282" } |
32 | chalk-ir = { git = "https://github.com/rust-lang/chalk.git", rev = "28cef6ff403d403e6ad2f3d27d944e9ffac1bce8" } | 32 | chalk-ir = { git = "https://github.com/rust-lang/chalk.git", rev = "2c072cc830d04af5f10b390e6643327f85108282" } |
33 | 33 | ||
34 | [dev-dependencies] | 34 | [dev-dependencies] |
35 | insta = "0.16.0" | 35 | insta = "0.16.0" |