gluon_base::resolve
pub fn remove_aliases_cow<'t>( env: &TypeEnv, typ: &'t ArcType) -> Cow<'t, ArcType>