Function gluon_base::resolve::remove_aliases
source · pub fn remove_aliases<T>(
env: &(dyn TypeEnv<Type = T> + '_),
interner: &mut impl TypeContext<Symbol, T>,
typ: T
) -> Twhere
T: TypeExt<Id = Symbol, SpannedId = Symbol> + Clone + Display,
T::Types: Clone + Default + Extend<T> + FromIterator<T>,
T::Generics: Clone + FromIterator<Generic<Symbol>>,
T::Fields: Clone,
Expand description
Removes type aliases from typ
until it is an actual type