diff options
| author | bors <bors@rust-lang.org> | 2024-12-23 04:15:41 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-12-23 04:15:41 +0000 |
| commit | 0eca4dd3205a01dba4bd7b7c140ec370aff03440 (patch) | |
| tree | fc44790a8c2df7fe5036995644c38d9e40fb8c0b /compiler/rustc_mir_transform/src | |
| parent | 908af5ba4ad921fec81d95c97411c867cdcb33fa (diff) | |
| parent | 5bced1419fbafb7fba837b992d2d70388f228f11 (diff) | |
| download | rust-0eca4dd3205a01dba4bd7b7c140ec370aff03440.tar.gz rust-0eca4dd3205a01dba4bd7b7c140ec370aff03440.zip | |
Auto merge of #134465 - lcnr:type-verifier, r=compiler-errors
cleanup `TypeVerifier` We should merge it with the `TypeChecker` as we no longer bail in cases where it encounters an error since #111863. It's quite inconsistent whether a check lives in the verifier or the `TypeChecker`, so this feels like a quite impactful cleanup. I expect that for this we may want to change the `TypeChecker` to also be a MIR visitor :thinking: this is non-trivial so I didn't fully do it in this PR. Best reviewed commit by commit. r? `@compiler-errors` feel free to reassign however
Diffstat (limited to 'compiler/rustc_mir_transform/src')
0 files changed, 0 insertions, 0 deletions