diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-04-04 19:29:53 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-04-04 19:29:53 +0100 |
| commit | 35614c762378f472ebefa12434b7e54a38a94eb9 (patch) | |
| tree | 7230e16cd37c447be8576876789f7049d2b70495 /docs/dev | |
| parent | 0924888cce5f48e0ea0dc7fd8641db92850ef660 (diff) | |
| parent | 645a9c3a274109512839b79d8e86a805a39cd6e1 (diff) | |
Merge #8328
8328: Move things in hir_ty into submodules r=flodiebold a=flodiebold
- all the types that will be replaced by Chalk go to `types`
- `TypeWalk` impls go to `walk`
- also fix signature of `Substitution::interned`
Co-authored-by: Florian Diebold <[email protected]>
Diffstat (limited to 'docs/dev')
0 files changed, 0 insertions, 0 deletions