[−][src]Type Definition rustc_middle::ty::sty::PolyExistentialTraitRef
type PolyExistentialTraitRef<'tcx> = Binder<ExistentialTraitRef<'tcx>>;
Implementations
impl<'tcx> PolyExistentialTraitRef<'tcx>[src]
pub fn def_id(&self) -> DefId[src]
pub fn with_self_ty(
&self,
tcx: TyCtxt<'tcx>,
self_ty: Ty<'tcx>
) -> PolyTraitRef<'tcx>[src]
&self,
tcx: TyCtxt<'tcx>,
self_ty: Ty<'tcx>
) -> PolyTraitRef<'tcx>
Object types don't have a self type specified. Therefore, when
we convert the principal trait-ref into a normal trait-ref,
you must give some self type. A common choice is mk_err()
or some placeholder type.