From 3f3aee53b4a5f4607110496e3299493e4d458313 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lauren=C8=9Biu=20Nicola?= Date: Mon, 20 Dec 2021 20:35:45 +0200 Subject: [PATCH] Bump default CHALK_SOLVER_MAX_SIZE to 150 --- crates/hir_ty/src/traits.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/crates/hir_ty/src/traits.rs b/crates/hir_ty/src/traits.rs index 71b711024b..bd280ba774 100644 --- a/crates/hir_ty/src/traits.rs +++ b/crates/hir_ty/src/traits.rs @@ -28,7 +28,7 @@ pub(crate) struct ChalkContext<'a> { fn create_chalk_solver() -> chalk_recursive::RecursiveSolver { let overflow_depth = var("CHALK_OVERFLOW_DEPTH").ok().and_then(|s| s.parse().ok()).unwrap_or(300); - let max_size = var("CHALK_SOLVER_MAX_SIZE").ok().and_then(|s| s.parse().ok()).unwrap_or(30); + let max_size = var("CHALK_SOLVER_MAX_SIZE").ok().and_then(|s| s.parse().ok()).unwrap_or(150); chalk_recursive::RecursiveSolver::new(overflow_depth, max_size, Some(Cache::new())) }