flux_refineck::ghost_statements

Function all_nested_bodies

Source 
fn all_nested_bodies(
    tcx: TyCtxt<'_>,
    def_id: LocalDefId,
) -> impl Iterator<Item = LocalDefId>