Type Alias Binder

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

Aliased Type

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

Trait Implementations

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

type Result = [u8; 16]

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

type Result = [u8; 24]

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

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

impl<'tcx, T, P: PrettyPrinter<'tcx>> Print<'tcx, P> for Binder<'tcx, T>

where T: Print<'tcx, P> + TypeFoldable<TyCtxt<'tcx>>,

fn print(&self, cx: &mut P) -> Result<(), PrintError>

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

fn print_only_trait_path(self) -> Binder<'tcx, TraitRefPrintOnlyTraitPath<'tcx>>

fn print_trait_sugared(self) -> Binder<'tcx, TraitRefPrintSugared<'tcx>>

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

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.