diff options
| author | Laurențiu Nicola <lnicola@dend.ro> | 2021-12-20 20:35:45 +0200 |
|---|---|---|
| committer | Laurențiu Nicola <lnicola@dend.ro> | 2021-12-20 20:35:45 +0200 |
| commit | 3f3aee53b4a5f4607110496e3299493e4d458313 (patch) | |
| tree | 8e9114597904861863f28483e3572eddbc5be486 | |
| parent | 0add6e95e58633fde2fff0bccaf6c7d71ebc130f (diff) | |
| download | rust-3f3aee53b4a5f4607110496e3299493e4d458313.tar.gz rust-3f3aee53b4a5f4607110496e3299493e4d458313.zip | |
Bump default CHALK_SOLVER_MAX_SIZE to 150
| -rw-r--r-- | crates/hir_ty/src/traits.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/crates/hir_ty/src/traits.rs b/crates/hir_ty/src/traits.rs index 71b711024bb..bd280ba774d 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<Interner> { 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())) } |