Enum move_model::ty::TypeDisplayContext

pub enum TypeDisplayContext<'a> {
    WithoutEnv {
        symbol_pool: &'a SymbolPool,
        reverse_struct_table: &'a BTreeMap<(ModuleId, StructId), QualifiedSymbol>,
    },
    WithEnv {
        env: &'a GlobalEnv,
        type_param_names: Option<Vec<Symbol>>,
    },
}

Data providing context for displaying types.

Variants

WithoutEnv

Fields

symbol_pool: &'a SymbolPool

reverse_struct_table: &'a BTreeMap<(ModuleId, StructId), QualifiedSymbol>

WithEnv

Fields

env: &'a GlobalEnv

type_param_names: Option<Vec<Symbol>>

Implementations

impl<'a> TypeDisplayContext<'a>

pub fn symbol_pool(&self) -> &SymbolPool