bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

MIR validation: add comment explaining the limitations of CfgChecker

Browse source
This commit is contained in:
Ralf Jung 2025-02-06 10:06:07 +01:00
parent 820bfffc25
commit 5934e0afef
1 changed files with 6 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

6
compiler/rustc_mir_transform/src/validate.rs
View file

@ -97,6 +97,12 @@ impl<'tcx> crate::MirPass<'tcx> for Validator {
} }
} }
/// This checker covers basic properties of the control-flow graph, (dis)allowed statements and terminators.
/// Everything checked here must be stable under substitution of generic parameters. In other words,
/// this is about the *structure* of the MIR, not the *contents*.
///
/// Everything that depends on types, or otherwise can be affected by generic parameters,
/// must be checked in `TypeChecker`.
struct CfgChecker<'a, 'tcx> { struct CfgChecker<'a, 'tcx> {
when: &'a str, when: &'a str,
body: &'a Body<'tcx>, body: &'a Body<'tcx>,