Trait rustc_trait_selection::infer::canonical::ir::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 Types

type I: Interner

Required Associated Constants

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 Methods

fn positioned_at_shorthand(&self) -> bool

Object Safety

This trait is not object safe.

Implementations on Foreign Types

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

type I = TyCtxt<'tcx>

const CLEAR_CROSS_CRATE: bool = false

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