Type Definition rustc::ty::PolyExistentialTraitRef [−][src]
type PolyExistentialTraitRef<'tcx> = Binder<ExistentialTraitRef<'tcx>>;
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
Methods
impl<'tcx> PolyExistentialTraitRef<'tcx>
[src]
impl<'tcx> PolyExistentialTraitRef<'tcx>
pub fn def_id(&self) -> DefId
[src]
pub fn def_id(&self) -> DefId
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
pub fn with_self_ty(
&self,
tcx: TyCtxt<'_, '_, 'tcx>,
self_ty: Ty<'tcx>
) -> PolyTraitRef<'tcx>
[src]
pub fn with_self_ty(
&self,
tcx: TyCtxt<'_, '_, 'tcx>,
self_ty: Ty<'tcx>
) -> PolyTraitRef<'tcx>
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
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 skolemized type.