Skip to main content

EarlyBinder

Type Alias EarlyBinder 

Source
pub type EarlyBinder<'tcx, T> = EarlyBinder<TyCtxt<'tcx>, T>;

Aliased Type§

pub struct EarlyBinder<'tcx, T> { /* private fields */ }

Trait Implementations§

Source§

impl<T: Erasable> Erasable for EarlyBinder<'_, T>

Source§

type Storage = <T as Erasable>::Storage

Storage type to used for erased values of this type. Should be [u8; N], where N is equal to size_of::<Self>. Read more
Source§

impl<'tcx> Value<TyCtxt<'tcx>> for EarlyBinder<'_, Binder<'_, FnSig<'_>>>

Source§

fn from_cycle_error( tcx: TyCtxt<'tcx>, cycle_error: &CycleError, guar: ErrorGuaranteed, ) -> Self

Source§

impl<'tcx> Value<TyCtxt<'tcx>> for EarlyBinder<'_, Ty<'_>>

Source§

fn from_cycle_error( tcx: TyCtxt<'tcx>, cycle_error: &CycleError, guar: ErrorGuaranteed, ) -> Self

Layout§

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.