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