fn filtered_children( children: &mut Children, st: SimplifiedType) -> impl Iterator<Item = DefId> + '_