Skip to content

Commit 339a11c

Browse files
committed
Tweak Chalk settings
1 parent d3a3e5a commit 339a11c

File tree

1 file changed

+1
-2
lines changed

1 file changed

+1
-2
lines changed

crates/ra_hir_ty/src/traits.rs

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -87,10 +87,9 @@ impl TraitSolver {
8787
/// This controls the maximum size of types Chalk considers. If we set this too
8888
/// high, we can run into slow edge cases; if we set it too low, Chalk won't
8989
/// find some solutions.
90-
const CHALK_SOLVER_MAX_SIZE: usize = 4;
90+
const CHALK_SOLVER_MAX_SIZE: usize = 10;
9191
/// This controls how much 'time' we give the Chalk solver before giving up.
9292
const CHALK_SOLVER_FUEL: i32 = 100;
93-
// TODO: tune both these values
9493

9594
#[derive(Debug, Copy, Clone)]
9695
struct ChalkContext<'a, DB> {

0 commit comments

Comments
 (0)