bors c39995485f 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.

2023-07-22 16:59:23 +00:00

..

src

Auto merge of #113853 - cjgillot:split-validator, r=compiler-errors

2023-07-22 16:59:23 +00:00

Cargo.toml

Add rustc_fluent_macro to decouple fluent from rustc_macros

2023-04-18 18:56:22 +00:00

messages.ftl

Revert "Auto merge of #113166 - moulins:ref-niches-initial, r=oli-obk"

2023-07-21 22:35:57 -07:00