From 339a11c33c834ac0148ebaad2484d58322025c30 Mon Sep 17 00:00:00 2001 From: Florian Diebold Date: Mon, 27 Jan 2020 21:38:20 +0100 Subject: Tweak Chalk settings --- crates/ra_hir_ty/src/traits.rs | 3 +-- 1 file changed, 1 insertion(+), 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 { /// This controls the maximum size of types Chalk considers. If we set this too /// high, we can run into slow edge cases; if we set it too low, Chalk won't /// find some solutions. -const CHALK_SOLVER_MAX_SIZE: usize = 4; +const CHALK_SOLVER_MAX_SIZE: usize = 10; /// This controls how much 'time' we give the Chalk solver before giving up. const CHALK_SOLVER_FUEL: i32 = 100; -// TODO: tune both these values #[derive(Debug, Copy, Clone)] struct ChalkContext<'a, DB> { -- cgit v1.2.3