From c29a692137f2db4522f1b97d4e058757b82b973b Mon Sep 17 00:00:00 2001 From: Florian Diebold Date: Mon, 13 May 2019 22:20:39 +0200 Subject: Increase Chalk solver max_size back to 4 Reducing it to 2 was just a failed attempt to see whether that would help fix some slow cases; in fact, it can create new slow cases by replacing concrete types by variables. --- crates/ra_hir/src/ty/traits.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'crates') diff --git a/crates/ra_hir/src/ty/traits.rs b/crates/ra_hir/src/ty/traits.rs index 4260f7ef7..7de04c044 100644 --- a/crates/ra_hir/src/ty/traits.rs +++ b/crates/ra_hir/src/ty/traits.rs @@ -17,7 +17,7 @@ pub(crate) type Solver = chalk_solve::Solver; /// 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 = 2; +const CHALK_SOLVER_MAX_SIZE: usize = 4; #[derive(Debug, Copy, Clone)] struct ChalkContext<'a, DB> { -- cgit v1.2.3