Function gluon_check::typecheck::translate_projected_type

pub fn translate_projected_type(
    env: &dyn TypeEnv<Type = RcType>,
    symbols: &mut dyn IdentEnv<Ident = Symbol>,
    interner: &mut impl TypeContext<Symbol, RcType>,
    ids: &[Symbol]
) -> Result<RcType, TypeError<Symbol, RcType<Symbol>>>