diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-03-05 16:04:49 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-03-05 16:04:49 +0000 |
| commit | 6c27c55041953327d341f4e7c705e8887fc4dd50 (patch) | |
| tree | bcc8bcac74fa61c816986b0635defa7c7512660f /lib | |
| parent | 25a43e24c81f7b51234fc4e65e5e36ddbe3d60f1 (diff) | |
| parent | 50e01d2bc7429d718e0783d75458a6a047ee2b70 (diff) | |
Merge #7870
7870: Use chalk_ir::AdtId r=Veykril a=Veykril
It's a bit unfortunate that we got two AdtId's now(technically 3 with the alias in the chalk module but that one won't allow pattern matching), one from hir_def and one from chalk_ir(hir_ty). But the hir_ty/chalk one doesn't leave hir so it shouldn't be that bad I suppose. Though if I see this right this will happen for almost all IDs.
I imagine most of the intermediate changes to using chalk ids will turn out not too nice until the refactor is over.
Co-authored-by: Lukas Wirth <[email protected]>
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions