[][src]Function gluon_base::resolve::peek_alias

pub fn peek_alias<'t, T>(
    env: &dyn TypeEnv<Type = T>,
    typ: &'t T
) -> Result<Option<AliasRef<Symbol, T>>, Error> where
    T: TypeExt<Id = Symbol, SpannedId = Symbol> + Clone + Display,
    T::Types: Clone + Default + Extend<T>,
    T::Generics: Clone + FromIterator<Generic<Symbol>>,
    T::Fields: Clone