diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-07-15 07:50:36 +0100 |
---|---|---|
committer | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-07-15 07:50:36 +0100 |
commit | 8de56ec43e44ee227617de27ba8eddc328a90f5d (patch) | |
tree | 81f3523f2d78ac65697489a3ca43c03a768d05bc /editors/code/src/commands | |
parent | c4e2e36e4c3cdaf5243a4d481221804e2d71bc8e (diff) | |
parent | c8284d8424691dc348af8708abfc2172b7dd5dc5 (diff) |
Merge #1532
1532: Some refactorings & update Chalk r=flodiebold a=flodiebold
This does some of the renamings proposed in #1515, refactors `InferenceContext` a bit, and does a Cargo update, including fixing the build since I broke it by already pushing an updated branch to my Chalk fork :disappointed:
We could also consider switching back to Chalk master; I couldn't reproduce any hangs with the floundering even on the rustc repo...
Co-authored-by: Florian Diebold <[email protected]>
Diffstat (limited to 'editors/code/src/commands')
0 files changed, 0 insertions, 0 deletions