Struct rustc_middle::traits::solve::ExternalConstraintsData
source · pub struct ExternalConstraintsData<'tcx> {
pub region_constraints: QueryRegionConstraints<'tcx>,
pub opaque_types: Vec<(OpaqueTypeKey<'tcx>, Ty<'tcx>)>,
}
Expand description
Additional constraints returned on success.
Fields§
§region_constraints: QueryRegionConstraints<'tcx>
§opaque_types: Vec<(OpaqueTypeKey<'tcx>, Ty<'tcx>)>
Trait Implementations§
source§impl<'tcx> ArenaAllocatable<'tcx, IsNotCopy> for ExternalConstraintsData<'tcx>
impl<'tcx> ArenaAllocatable<'tcx, IsNotCopy> for ExternalConstraintsData<'tcx>
fn allocate_on<'a>(self, arena: &'a Arena<'tcx>) -> &'a mut Self
fn allocate_from_iter<'a>( arena: &'a Arena<'tcx>, iter: impl IntoIterator<Item = Self> ) -> &'a mut [Self]
source§impl<'tcx> Borrow<ExternalConstraintsData<'tcx>> for InternedInSet<'tcx, ExternalConstraintsData<'tcx>>
impl<'tcx> Borrow<ExternalConstraintsData<'tcx>> for InternedInSet<'tcx, ExternalConstraintsData<'tcx>>
source§fn borrow<'a>(&'a self) -> &'a ExternalConstraintsData<'tcx>
fn borrow<'a>(&'a self) -> &'a ExternalConstraintsData<'tcx>
Immutably borrows from an owned value. Read more
source§impl<'tcx> Clone for ExternalConstraintsData<'tcx>
impl<'tcx> Clone for ExternalConstraintsData<'tcx>
source§fn clone(&self) -> ExternalConstraintsData<'tcx>
fn clone(&self) -> ExternalConstraintsData<'tcx>
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl<'tcx> Debug for ExternalConstraintsData<'tcx>
impl<'tcx> Debug for ExternalConstraintsData<'tcx>
source§impl<'tcx> Default for ExternalConstraintsData<'tcx>
impl<'tcx> Default for ExternalConstraintsData<'tcx>
source§fn default() -> ExternalConstraintsData<'tcx>
fn default() -> ExternalConstraintsData<'tcx>
Returns the “default value” for a type. Read more
source§impl<'tcx> Hash for ExternalConstraintsData<'tcx>
impl<'tcx> Hash for ExternalConstraintsData<'tcx>
source§impl<'tcx> PartialEq<ExternalConstraintsData<'tcx>> for ExternalConstraintsData<'tcx>
impl<'tcx> PartialEq<ExternalConstraintsData<'tcx>> for ExternalConstraintsData<'tcx>
source§fn eq(&self, other: &ExternalConstraintsData<'tcx>) -> bool
fn eq(&self, other: &ExternalConstraintsData<'tcx>) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.impl<'tcx> Eq for ExternalConstraintsData<'tcx>
impl<'tcx> StructuralEq for ExternalConstraintsData<'tcx>
impl<'tcx> StructuralPartialEq for ExternalConstraintsData<'tcx>
Auto Trait Implementations§
impl<'tcx> !RefUnwindSafe for ExternalConstraintsData<'tcx>
impl<'tcx> !Send for ExternalConstraintsData<'tcx>
impl<'tcx> !Sync for ExternalConstraintsData<'tcx>
impl<'tcx> Unpin for ExternalConstraintsData<'tcx>
impl<'tcx> !UnwindSafe for ExternalConstraintsData<'tcx>
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
source§impl<T, R> CollectAndApply<T, R> for T
impl<T, R> CollectAndApply<T, R> for T
source§impl<P> IntoQueryParam<P> for P
impl<P> IntoQueryParam<P> for P
fn into_query_param(self) -> P
source§impl<T> MaybeResult<T> for T
impl<T> MaybeResult<T> for T
source§impl<'tcx, T> ToPredicate<'tcx, T> for T
impl<'tcx, T> ToPredicate<'tcx, T> for T
fn to_predicate(self, _tcx: TyCtxt<'tcx>) -> T
source§impl<Tcx, T, D> Value<Tcx, D> for Twhere
Tcx: DepContext,
D: DepKind,
impl<Tcx, T, D> Value<Tcx, D> for Twhere Tcx: DepContext, D: DepKind,
default fn from_cycle_error(tcx: Tcx, _: &[QueryInfo<D>]) -> T
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:72 bytes