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<'a, 'gcx, 'tcx> PolyExistentialTraitRef<'tcx>[src]
pub fn with_self_ty(
&self,
tcx: TyCtxt<'a, 'gcx, 'tcx>,
self_ty: Ty<'tcx>
) -> PolyTraitRef<'tcx>[src]
&self,
tcx: TyCtxt<'a, 'gcx, '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.
impl<'tcx> PolyExistentialTraitRef<'tcx>[src]
pub fn def_id(&self) -> DefId[src]
🔬 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 input_types<'a>(
&'a self
) -> impl DoubleEndedIterator<Item = Ty<'tcx>> + 'a[src]
&'a self
) -> impl DoubleEndedIterator<Item = Ty<'tcx>> + 'a
🔬 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?