Type Alias rustc_middle::ty::sty::Binder

source ·
pub type Binder<'tcx, T> = Binder<TyCtxt<'tcx>, T>;

Aliased Type§

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

Trait Implementations§

source§

impl EraseType for Binder<'_, &List<Ty<'_>>>

§

type Result = [u8; 16]

source§

impl EraseType for Binder<'_, FnSig<'_>>

§

type Result = [u8; 24]

source§

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

§

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

source§

impl<'tcx, T, P: PrettyPrinter<'tcx>> Print<'tcx, P> for Binder<'tcx, T>
where T: Print<'tcx, P> + TypeFoldable<TyCtxt<'tcx>>,

source§

impl<'tcx> PrintPolyTraitRefExt<'tcx> for Binder<'tcx, TraitRef<'tcx>>

source§

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

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.