pub trait TyEncoder: Encoder {
type I: Interner;
const CLEAR_CROSS_CRATE: bool;
fn position(&self) -> usize;
fn type_shorthands(
&mut self
) -> &mut HashMap<<Self::I as Interner>::Ty, usize, BuildHasherDefault<FxHasher>>;
fn predicate_shorthands(
&mut self
) -> &mut HashMap<<Self::I as Interner>::PredicateKind, usize, BuildHasherDefault<FxHasher>>;
fn encode_alloc_id(&mut self, alloc_id: &<Self::I as Interner>::AllocId);
}
Required Associated Types
Required Associated Constants
source
const CLEAR_CROSS_CRATE: bool
Required Methods
sourcefn type_shorthands(
fn type_shorthands(
&mut self
) -> &mut HashMap<<Self::I as Interner>::Ty, usize, BuildHasherDefault<FxHasher>>
sourcefn predicate_shorthands(
fn predicate_shorthands(
&mut self
) -> &mut HashMap<<Self::I as Interner>::PredicateKind, usize, BuildHasherDefault<FxHasher>>
source