Trait rustc_type_ir::codec::TyEncoder

pub trait TyEncoder: Encoder {
    type I: Interner;

    const CLEAR_CROSS_CRATE: bool;

    fn position(&self) -> usize;
    fn type_shorthands(
        &mut self
    ) -> &mut FxHashMap<<Self::I as Interner>::Ty, usize>;
    fn predicate_shorthands(
        &mut self
    ) -> &mut FxHashMap<<Self::I as Interner>::PredicateKind, usize>;
    fn encode_alloc_id(&mut self, alloc_id: &<Self::I as Interner>::AllocId);
}

Required Associated Types

type I: Interner

Required Associated Constants

const CLEAR_CROSS_CRATE: bool

Required Methods

fn position(&self) -> usize

fn type_shorthands(
    &mut self
) -> &mut FxHashMap<<Self::I as Interner>::Ty, usize>

fn predicate_shorthands(
    &mut self
) -> &mut FxHashMap<<Self::I as Interner>::PredicateKind, usize>

fn encode_alloc_id(&mut self, alloc_id: &<Self::I as Interner>::AllocId)

Implementors