all_nested_bodies

flux_refineck::ghost_statements

Function all_nested_bodies 

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