aboutsummaryrefslogtreecommitdiff
path: root/crates
diff options
context:
space:
mode:
authorFlorian Diebold <[email protected]>2020-01-27 20:38:20 +0000
committerFlorian Diebold <[email protected]>2020-01-27 20:52:35 +0000
commit339a11c33c834ac0148ebaad2484d58322025c30 (patch)
tree51f72f5b75d78f7b42ff69fcd1d709901b41c04c /crates
parentd3a3e5abdfc8b66eff3e7830554220d49a5da70b (diff)
Tweak Chalk settings
Diffstat (limited to 'crates')
-rw-r--r--crates/ra_hir_ty/src/traits.rs3
1 files changed, 1 insertions, 2 deletions
diff --git a/crates/ra_hir_ty/src/traits.rs b/crates/ra_hir_ty/src/traits.rs
index ac0588193..88af61e87 100644
--- a/crates/ra_hir_ty/src/traits.rs
+++ b/crates/ra_hir_ty/src/traits.rs
@@ -87,10 +87,9 @@ impl TraitSolver {
87/// This controls the maximum size of types Chalk considers. If we set this too 87/// This controls the maximum size of types Chalk considers. If we set this too
88/// high, we can run into slow edge cases; if we set it too low, Chalk won't 88/// high, we can run into slow edge cases; if we set it too low, Chalk won't
89/// find some solutions. 89/// find some solutions.
90const CHALK_SOLVER_MAX_SIZE: usize = 4; 90const CHALK_SOLVER_MAX_SIZE: usize = 10;
91/// This controls how much 'time' we give the Chalk solver before giving up. 91/// This controls how much 'time' we give the Chalk solver before giving up.
92const CHALK_SOLVER_FUEL: i32 = 100; 92const CHALK_SOLVER_FUEL: i32 = 100;
93// TODO: tune both these values
94 93
95#[derive(Debug, Copy, Clone)] 94#[derive(Debug, Copy, Clone)]
96struct ChalkContext<'a, DB> { 95struct ChalkContext<'a, DB> {