diff options
| author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-05-13 21:23:09 +0100 |
|---|---|---|
| committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-05-13 21:23:09 +0100 |
| commit | d7a4ae43f9308f683ddb3ca89104c5eb12d8d6b3 (patch) | |
| tree | a8dfca16f08dff9b5a360b91e2a233bd6820267d /crates | |
| parent | 033a32f34944d7e07facd900a78db59b35e6698c (diff) | |
| parent | c29a692137f2db4522f1b97d4e058757b82b973b (diff) | |
Merge #1270
1270: Increase Chalk solver max_size back to 4 r=flodiebold a=flodiebold
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.
Co-authored-by: Florian Diebold <[email protected]>
Diffstat (limited to 'crates')
| -rw-r--r-- | crates/ra_hir/src/ty/traits.rs | 2 |
1 files changed, 1 insertions, 1 deletions
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; | |||
| 17 | /// This controls the maximum size of types Chalk considers. If we set this too | 17 | /// This controls the maximum size of types Chalk considers. If we set this too |
| 18 | /// high, we can run into slow edge cases; if we set it too low, Chalk won't | 18 | /// high, we can run into slow edge cases; if we set it too low, Chalk won't |
| 19 | /// find some solutions. | 19 | /// find some solutions. |
| 20 | const CHALK_SOLVER_MAX_SIZE: usize = 2; | 20 | const CHALK_SOLVER_MAX_SIZE: usize = 4; |
| 21 | 21 | ||
| 22 | #[derive(Debug, Copy, Clone)] | 22 | #[derive(Debug, Copy, Clone)] |
| 23 | struct ChalkContext<'a, DB> { | 23 | struct ChalkContext<'a, DB> { |