pub struct MemberConstraint<'tcx> {
pub opaque_type_def_id: DefId,
pub definition_span: Span,
pub hidden_ty: &'tcx TyS<'tcx>,
pub member_region: &'tcx RegionKind,
pub choice_regions: Rc<Vec<&'tcx RegionKind, Global>>,
}Expand description
Requires that region must be equal to one of the regions in choice_regions.
We often denote this using the syntax:
R0 member of [O1..On]Fields
opaque_type_def_id: DefIdThe DefId of the opaque type causing this constraint: used for error reporting.
definition_span: SpanThe span where the hidden type was instantiated.
The hidden type in which member_region appears: used for error reporting.
member_region: &'tcx RegionKindThe region R0.
choice_regions: Rc<Vec<&'tcx RegionKind, Global>>The options O1..On.
Auto Trait Implementations
impl<'tcx> !RefUnwindSafe for MemberConstraint<'tcx>
impl<'tcx> !Send for MemberConstraint<'tcx>
impl<'tcx> !Sync for MemberConstraint<'tcx>
impl<'tcx> Unpin for MemberConstraint<'tcx>
impl<'tcx> !UnwindSafe for MemberConstraint<'tcx>
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcepub fn borrow_mut(&mut self) -> &mut T
pub fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
sourceimpl<'tcx, T> Subst<'tcx> for T where
T: TypeFoldable<'tcx>,
impl<'tcx, T> Subst<'tcx> for T where
T: TypeFoldable<'tcx>,
pub fn subst_spanned(
self,
tcx: TyCtxt<'tcx>,
substs: &[GenericArg<'tcx>],
span: Option<Span>
) -> T
fn subst(self, tcx: TyCtxt<'tcx>, substs: &[GenericArg<'tcx>]) -> Self
sourceimpl<T> ToOwned for T where
T: Clone,
impl<T> ToOwned for T where
T: Clone,
type Owned = T
type Owned = T
The resulting type after obtaining ownership.
sourcepub fn to_owned(&self) -> T
pub fn to_owned(&self) -> T
Creates owned data from borrowed data, usually by cloning. Read more
sourcepub fn clone_into(&self, target: &mut T)
pub fn clone_into(&self, target: &mut T)
toowned_clone_into)Uses borrowed data to replace owned data, usually by cloning. 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: 40 bytes