fn iter_children(children: &Children) -> impl Iterator<Item = DefId> + '_