# Type Alias rustc_middle::ty::PolyExistentialProjection

source ·

    pub type PolyExistentialProjection<'tcx> = Binder<'tcx, ExistentialProjection<'tcx>>;

## Aliased Type§

    struct PolyExistentialProjection<'tcx> {
        value: ExistentialProjection<'tcx>,
        bound_vars: &'tcx List<BoundVariableKind>,
    }

## Fields§

§`value: ExistentialProjection<'tcx>`§`bound_vars: &'tcx List<BoundVariableKind>`

## Implementations§

source§

### impl<'tcx> PolyExistentialProjection<'tcx>

source

#### pub fn with_self_ty( &self, tcx: TyCtxt<'tcx>, self_ty: Ty<'tcx> ) -> PolyProjectionPredicate<'tcx>

source

#### pub fn item_def_id(&self) -> DefId

## Trait Implementations§

source§

### impl<'tcx> Display for PolyExistentialProjection<'tcx>

source§

#### fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more

## Layout§

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain `repr(...)` attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 32 bytes