Type Alias EarlyBinder

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

Aliased Type

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

Trait Implementations

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

type Result = <T as EraseType>::Result

impl<T: ParameterizedOverTcx> ParameterizedOverTcx for EarlyBinder<'static, T>

type Value<'tcx> = EarlyBinder<TyCtxt<'tcx>, <T as ParameterizedOverTcx>::Value<'tcx>>

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

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

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

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.