about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/check/check.rs
diff options
context:
space:
mode:
authorbors <bors@rust-lang.org>2023-10-20 19:11:08 +0000
committerbors <bors@rust-lang.org>2023-10-20 19:11:08 +0000
commit96027d945b9d8cae622a2fa4e70d8040be2964f3 (patch)
tree22fea90de6cc766b2ad7197a2868f3f37c415466 /compiler/rustc_hir_analysis/src/check/check.rs
parent7db4a89d49a8ed3a5f79b6cc3d555696baa1bbc3 (diff)
parentc3fd4383fb6a49a4ad916809ccd0c26b0edfd299 (diff)
downloadrust-96027d945b9d8cae622a2fa4e70d8040be2964f3.tar.gz
rust-96027d945b9d8cae622a2fa4e70d8040be2964f3.zip
Auto merge of #116951 - compiler-errors:ir-file-structure, r=jackh726
Restructure `rustc_type_ir` a bit

1. Split `sty` into new `ty_kind`/`region_kind`/`const_kind` modules, so that when we uplift more kinds (e.g. `PredicateKind`, `ClauseKind`, and `ExistentialPredicate`), they can live in their own simple-to-understand files.
2. Split up the `structural_impls` module, which is a kitchen sink of random impls -- move `TypeFoldable` and `TypeVisitable` impls into existing `fold` and `visit` modules, respectively.
3. Move the `DebugWithInfcx` trait and blanket impls into a new `debug` module, and `TypeFlags` definition into a new `flags` module.
5. Move `Interner` trait into a new `interner` module. I expect this file to get a lot larger as we make the interner more powerful for the trait solver refactor.

r? `@ghost` for now, will assign once #116946 lands
Diffstat (limited to 'compiler/rustc_hir_analysis/src/check/check.rs')
0 files changed, 0 insertions, 0 deletions