aboutsummaryrefslogtreecommitdiff
path: root/crates
diff options
context:
space:
mode:
authorFlorian Diebold <[email protected]>2019-05-13 21:20:39 +0100
committerFlorian Diebold <[email protected]>2019-05-13 21:20:39 +0100
commitc29a692137f2db4522f1b97d4e058757b82b973b (patch)
treea8dfca16f08dff9b5a360b91e2a233bd6820267d /crates
parent033a32f34944d7e07facd900a78db59b35e6698c (diff)
Increase Chalk solver max_size back to 4
Reducing it to 2 was just a failed attempt to see whether that would help fix some slow cases; in fact, it can create new slow cases by replacing concrete types by variables.
Diffstat (limited to 'crates')
-rw-r--r--crates/ra_hir/src/ty/traits.rs2
1 files changed, 1 insertions, 1 deletions
diff --git a/crates/ra_hir/src/ty/traits.rs b/crates/ra_hir/src/ty/traits.rs
index 4260f7ef7..7de04c044 100644
--- a/crates/ra_hir/src/ty/traits.rs
+++ b/crates/ra_hir/src/ty/traits.rs
@@ -17,7 +17,7 @@ pub(crate) type Solver = chalk_solve::Solver;
17/// This controls the maximum size of types Chalk considers. If we set this too 17/// This controls the maximum size of types Chalk considers. If we set this too
18/// high, we can run into slow edge cases; if we set it too low, Chalk won't 18/// high, we can run into slow edge cases; if we set it too low, Chalk won't
19/// find some solutions. 19/// find some solutions.
20const CHALK_SOLVER_MAX_SIZE: usize = 2; 20const CHALK_SOLVER_MAX_SIZE: usize = 4;
21 21
22#[derive(Debug, Copy, Clone)] 22#[derive(Debug, Copy, Clone)]
23struct ChalkContext<'a, DB> { 23struct ChalkContext<'a, DB> {