Trait TyDecoder

pub trait TyDecoder: SpanDecoder {
    type I: Interner;

    const CLEAR_CROSS_CRATE: bool;

    // Required methods
    fn interner(&self) -> Self::I;
    fn cached_ty_for_shorthand<F>(
        &mut self,
        shorthand: usize,
        or_insert_with: F,
    ) -> <Self::I as Interner>::Ty
       where F: FnOnce(&mut Self) -> <Self::I as Interner>::Ty;
    fn with_position<F, R>(&mut self, pos: usize, f: F) -> R
       where F: FnOnce(&mut Self) -> R;
    fn decode_alloc_id(&mut self) -> <Self::I as Interner>::AllocId;

    // Provided method
    fn positioned_at_shorthand(&self) -> bool { ... }
}

Required Associated Constants

const CLEAR_CROSS_CRATE: bool

Required Associated Types

type I: Interner

Required Methods

fn interner(&self) -> Self::I

fn cached_ty_for_shorthand<F>( &mut self, shorthand: usize, or_insert_with: F, ) -> <Self::I as Interner>::Ty

where F: FnOnce(&mut Self) -> <Self::I as Interner>::Ty,

fn with_position<F, R>(&mut self, pos: usize, f: F) -> R

where F: FnOnce(&mut Self) -> R,

fn decode_alloc_id(&mut self) -> <Self::I as Interner>::AllocId

Provided Methods

fn positioned_at_shorthand(&self) -> bool

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl<'a, 'tcx> TyDecoder for CacheDecoder<'a, 'tcx>

const CLEAR_CROSS_CRATE: bool = false

type I = TyCtxt<'tcx>

fn interner(&self) -> TyCtxt<'tcx>

fn cached_ty_for_shorthand<F>( &mut self, shorthand: usize, or_insert_with: F, ) -> Ty<'tcx>

where F: FnOnce(&mut CacheDecoder<'a, 'tcx>) -> Ty<'tcx>,

fn with_position<F, R>(&mut self, pos: usize, f: F) -> R

where F: FnOnce(&mut CacheDecoder<'a, 'tcx>) -> R,

fn decode_alloc_id(&mut self) -> AllocId

Implementors