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,