diff options
Diffstat (limited to 'crates/ra_hir_ty/src')
-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> { |