Trait ToRedTy 

pub trait ToRedTy<'db> {
    // Required method
    fn to_red_ty(&self, env: &mut Env<'db>) -> (RedTy<'db>, SymPerm<'db>);
}

Convert something to a RedTy and an (optional) permission that is applied to that RedTy.

Required Methods

fn to_red_ty(&self, env: &mut Env<'db>) -> (RedTy<'db>, SymPerm<'db>)

Implementors

impl<'db> ToRedTy<'db> for SymGenericTerm<'db>

impl<'db> ToRedTy<'db> for SymPerm<'db>

impl<'db> ToRedTy<'db> for SymTy<'db>