crate fn subuniverses_contained_in<'a>(
        &'a self,
        r: N,
    ) -> impl Iterator<Item = ty::UniverseIndex> + 'a {
        self.placeholders
            .row(r)
            .into_iter()
            .flat_map(|set| set.iter())
            .map(|p| ty::UniverseIndex::from_u32((p.index() + 1) as u32))
    }
/// Returns all the elements contained in a given region's value.
Returns all the elements contained in a given region's value.
Returns all the elements contained in a given region ' s value .
crate fn subuniverses_contained_in<'a>(
        &'a self,
        r: N,
    ) -> impl Iterator<Item = ty::UniverseIndex> + 'a {
        self.placeholders
            .row(r)
            .into_iter()
            .flat_map(|set| set.iter())
            .map(|p| ty::UniverseIndex::from_u32((p.index() + 1) as u32))
    }
crate fn subuniverses_contained_in < ' a > ( & ' a self , r : N , ) -> impl Iterator < Item = ty :: UniverseIndex > + ' a { self . placeholders . row ( r ) . into_iter ( ) . flat_map ( | set | set . iter ( ) ) . map ( | p | ty :: UniverseIndex :: from_u32 ( ( p . index ( ) + 1 ) as u32 ) ) }
Returns all the elements contained in a given region's value.
Returns all the elements contained in a given region ' s value .
&'a self
r
N