diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-12-23 10:58:06 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2019-12-23 10:58:06 +0000 |
commit | ce07a2daa9e53aa86a769f8641b14c2878444fbc (patch) | |
tree | fc5802a209c642e862171a1d022634eefd2a03a9 /xtask/src | |
parent | 31c5888a4c0913c44d13f25f8cb79e0701e84f71 (diff) | |
parent | 1f7f4578f72721c1b0e17e8405f986fd2ce89aaf (diff) |
Merge #2636
2636: Chalk update and refactoring r=flodiebold a=flodiebold
This updates the Chalk integration to https://github.com/rust-lang/chalk/pull/311, which will presumably get merged soon, and refactors it some more, most notably introducing our own `TypeFamily` instead of reusing `ChalkIr`. It's still mostly the same as `ChalkIr` though, except for using Salsa `InternId`s directly.
Co-authored-by: Florian Diebold <[email protected]>
Diffstat (limited to 'xtask/src')
0 files changed, 0 insertions, 0 deletions