diff options
| author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-05-21 20:07:35 +0100 |
|---|---|---|
| committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-05-21 20:07:35 +0100 |
| commit | 366ad6f03ba2296f09cb79ea139fa53a132fa651 (patch) | |
| tree | ecada644ef5a0270689036d266d90eee899da560 /editors/code/src/utils/terminateProcess.sh | |
| parent | ed943adb29e6eddb482377a21908a8ed66c6cc21 (diff) | |
| parent | ced971ee9f877d866456bd0e34734056595b1a57 (diff) | |
Merge #1306
1306: Chalk fuel r=matklad a=flodiebold
This switches Chalk to my fuel branch, and limits the fuel for trait solving. This should improve worst-case performance; for example, we can now run `ra_cli analysis-stats` against rustc again. This also fixes a bug found doing that.
Co-authored-by: Florian Diebold <[email protected]>
Diffstat (limited to 'editors/code/src/utils/terminateProcess.sh')
0 files changed, 0 insertions, 0 deletions