diff options
author | Florian Diebold <[email protected]> | 2020-01-27 20:38:20 +0000 |
---|---|---|
committer | Florian Diebold <[email protected]> | 2020-01-27 20:52:35 +0000 |
commit | 339a11c33c834ac0148ebaad2484d58322025c30 (patch) | |
tree | 51f72f5b75d78f7b42ff69fcd1d709901b41c04c | |
parent | d3a3e5abdfc8b66eff3e7830554220d49a5da70b (diff) |
Tweak Chalk settings
-rw-r--r-- | crates/ra_hir_ty/src/traits.rs | 3 |
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. |
90 | const CHALK_SOLVER_MAX_SIZE: usize = 4; | 90 | const 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. |
92 | const CHALK_SOLVER_FUEL: i32 = 100; | 92 | const CHALK_SOLVER_FUEL: i32 = 100; |
93 | // TODO: tune both these values | ||
94 | 93 | ||
95 | #[derive(Debug, Copy, Clone)] | 94 | #[derive(Debug, Copy, Clone)] |
96 | struct ChalkContext<'a, DB> { | 95 | struct ChalkContext<'a, DB> { |