diff options
| author | Wilco Kusee <wilcokusee@gmail.com> | 2022-12-05 18:13:11 +0100 |
|---|---|---|
| committer | Wilco Kusee <wilcokusee@gmail.com> | 2022-12-05 18:13:11 +0100 |
| commit | a75bffc7295bcd6907bdb200b807e665ddac688b (patch) | |
| tree | d4228e40af61dde07a8cddbd66fd75d72c6ae715 | |
| parent | fc627e637bdeecdb5e502b93f6923109e2d10cb5 (diff) | |
| download | rust-a75bffc7295bcd6907bdb200b807e665ddac688b.tar.gz rust-a75bffc7295bcd6907bdb200b807e665ddac688b.zip | |
Increase Chalk fuel from 100 to 1000
The old value was for the old chalk-engine solver, nowadays the newer chalk-recursive solver is used. The new solver currently uses fuel a bit more quickly, so a higher value is needed. Running analysis-stats showed that a value of 100 increases the amount of unknown types, while for a value of 1000 it's staying mostly the same.
| -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 c425f35acfe..da454eeb42e 100644 --- a/crates/hir-ty/src/traits.rs +++ b/crates/hir-ty/src/traits.rs @@ -18,7 +18,7 @@ use crate::{ }; /// This controls how much 'time' we give the Chalk solver before giving up. -const CHALK_SOLVER_FUEL: i32 = 100; +const CHALK_SOLVER_FUEL: i32 = 1000; #[derive(Debug, Copy, Clone)] pub(crate) struct ChalkContext<'a> { |