rustc_
mir_
dataflow
1.83.0-beta.7
(b35ad722a 2024-11-22)
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>)