Type Definition rustc_middle::ty::sty::PolyExistentialProjection

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

Implementations

impl<'tcx> PolyExistentialProjection<'tcx>

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

pub fn item_def_id(&self) -> DefId