Function miri::helpers::find_children

source · 
fn find_children<'tcx: 'a, 'a>(
    tcx: TyCtxt<'tcx>,
    item: DefId,
    name: &'a str
) -> impl Iterator<Item = DefId> + 'a
Expand description

Yield all children of the given item, that have the given name.