diff options
| author | bors <bors@rust-lang.org> | 2023-07-22 16:59:23 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-07-22 16:59:23 +0000 |
| commit | c39995485f57083873682ff4032ea1ebb8f51ae9 (patch) | |
| tree | 90e3e6f683611c9c8cc443d73ac3a4f83855a213 /compiler/rustc_llvm/llvm-wrapper/RustWrapper.cpp | |
| parent | ab0f3e680e4fd50218914b8afa6900a67377721c (diff) | |
| parent | b6cd7006e075e364d1bc325cf9eba4882da92bc6 (diff) | |
| download | rust-c39995485f57083873682ff4032ea1ebb8f51ae9.tar.gz rust-c39995485f57083873682ff4032ea1ebb8f51ae9.zip | |
Auto merge of #113853 - cjgillot:split-validator, r=compiler-errors
Reuse the MIR validator for MIR inlining Instead of having the inliner home-cook its own validation, we just check that the substituted MIR body passes the regular validation. The MIR validation is first split in two: control flow validation (MIR syntax and CFG invariants) and type validation (subtyping relationship in assignments and projections). Only the latter can be affected by instantiating type parameters.
Diffstat (limited to 'compiler/rustc_llvm/llvm-wrapper/RustWrapper.cpp')
0 files changed, 0 insertions, 0 deletions