nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2025-05-14 02:49:40 +00:00
Code Issues Packages Projects Releases Wiki Activity

Tweak Chalk settings

Browse Source
This commit is contained in:
Florian Diebold 2020-01-27 21:38:20 +01:00
parent d3a3e5abdf
commit 339a11c33c
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
crates/ra_hir_ty/src/traits.rs
View File

@ -87,10 +87,9 @@ impl TraitSolver {
/// This controls the maximum size of types Chalk considers. If we set this too /// 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 /// high, we can run into slow edge cases; if we set it too low, Chalk won't
/// find some solutions. /// 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. /// This controls how much 'time' we give the Chalk solver before giving up.
const CHALK_SOLVER_FUEL: i32 = 100; const CHALK_SOLVER_FUEL: i32 = 100;
// TODO: tune both these values
#[derive(Debug, Copy, Clone)] #[derive(Debug, Copy, Clone)]
struct ChalkContext<'a, DB> { struct ChalkContext<'a, DB> {