Function gluon_base::types::remove_forall

Important traits for &'a mut R

impl<'a, R> Read for &'a mut R where
    R: Read + ?Sized, impl<'a, W> Write for &'a mut W where
    W: Write + ?Sized, impl<'a, I> Iterator for &'a mut I where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;

pub fn remove_forall<'a, Id, T>(typ: &'a T) -> &'a T where
    T: Deref<Target = Type<Id, T>>,
    Id: 'a,