rustc_
mir_
dataflow
1.84.0-dev
In rustc_
mir_
dataflow::
rustc_
peek
rustc_mir_dataflow
::
rustc_peek
Function
sanity_check
Copy item path
Source
pub fn sanity_check<'tcx>(tcx:
TyCtxt
<'tcx>, body: &
Body
<'tcx>)