[−][src]Enum chalk_ir::Constraint
A constraint on lifetimes.
When we search for solutions within the trait system, we essentially ignore lifetime constraints, instead gathering them up to return with our solution for later checking. This allows for decoupling between type and region checking in the compiler.
Variants
Outlives constraint 'a: 'b
, indicating that the value of 'a
must be
a superset of the value of 'b
.
Type outlives constraint T: 'a
, indicating that the type T
must live
at least as long as the value of 'a
.
Trait Implementations
impl<I: Interner> CastTo<Constraint<I>> for Constraint<I>
[src]
fn cast_to(
self,
_interner: &<Constraint<I> as HasInterner>::Interner
) -> Constraint<I>
[src]
self,
_interner: &<Constraint<I> as HasInterner>::Interner
) -> Constraint<I>
impl<I: Clone + Interner> Clone for Constraint<I>
[src]
fn clone(&self) -> Constraint<I>
[src]
fn clone_from(&mut self, source: &Self)
1.0.0[src]
impl<I: Interner> Copy for Constraint<I> where
I::InternedLifetime: Copy,
I::InternedType: Copy,
[src]
I::InternedLifetime: Copy,
I::InternedType: Copy,
impl<I: Interner> Debug for Constraint<I>
[src]
impl<I: Eq + Interner> Eq for Constraint<I>
[src]
impl<I: Interner, _TI> Fold<I, _TI> for Constraint<I> where
_TI: TargetInterner<I>,
[src]
_TI: TargetInterner<I>,
type Result = Constraint<_TI>
The type of value that will be produced once folding is done. Typically this is Self
, unless Self
contains borrowed values, in which case owned values are produced (for example, one can fold over a &T
value where T: Fold
, in which case you get back a T
, not a &T
). Read more
fn fold_with<'i>(
&self,
folder: &mut dyn Folder<'i, I, _TI>,
outer_binder: DebruijnIndex
) -> Fallible<Self::Result> where
I: 'i,
_TI: 'i,
[src]
&self,
folder: &mut dyn Folder<'i, I, _TI>,
outer_binder: DebruijnIndex
) -> Fallible<Self::Result> where
I: 'i,
_TI: 'i,
impl<I: Interner> HasInterner for Constraint<I>
[src]
type Interner = I
The interner associated with the type.
impl<I: Hash + Interner> Hash for Constraint<I>
[src]
fn hash<__H: Hasher>(&self, state: &mut __H)
[src]
fn hash_slice<H>(data: &[Self], state: &mut H) where
H: Hasher,
1.3.0[src]
H: Hasher,
impl<I: PartialEq + Interner> PartialEq<Constraint<I>> for Constraint<I>
[src]
fn eq(&self, other: &Constraint<I>) -> bool
[src]
fn ne(&self, other: &Constraint<I>) -> bool
[src]
impl<I: Interner> StructuralEq for Constraint<I>
[src]
impl<I: Interner> StructuralPartialEq for Constraint<I>
[src]
impl<I: Interner> Visit<I> for Constraint<I>
[src]
fn visit_with<'i, R: VisitResult>(
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
[src]
&self,
visitor: &mut dyn Visitor<'i, I, Result = R>,
outer_binder: DebruijnIndex
) -> R where
I: 'i,
impl<I: Interner> Zip<I> for Constraint<I>
[src]
Auto Trait Implementations
impl<I> RefUnwindSafe for Constraint<I> where
<I as Interner>::InternedLifetime: RefUnwindSafe,
<I as Interner>::InternedType: RefUnwindSafe,
<I as Interner>::InternedLifetime: RefUnwindSafe,
<I as Interner>::InternedType: RefUnwindSafe,
impl<I> Send for Constraint<I> where
<I as Interner>::InternedLifetime: Send,
<I as Interner>::InternedType: Send,
<I as Interner>::InternedLifetime: Send,
<I as Interner>::InternedType: Send,
impl<I> Sync for Constraint<I> where
<I as Interner>::InternedLifetime: Sync,
<I as Interner>::InternedType: Sync,
<I as Interner>::InternedLifetime: Sync,
<I as Interner>::InternedType: Sync,
impl<I> Unpin for Constraint<I> where
<I as Interner>::InternedLifetime: Unpin,
<I as Interner>::InternedType: Unpin,
<I as Interner>::InternedLifetime: Unpin,
<I as Interner>::InternedType: Unpin,
impl<I> UnwindSafe for Constraint<I> where
<I as Interner>::InternedLifetime: UnwindSafe,
<I as Interner>::InternedType: UnwindSafe,
<I as Interner>::InternedLifetime: UnwindSafe,
<I as Interner>::InternedType: UnwindSafe,
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> Cast for T
[src]
fn cast<U>(self, interner: &U::Interner) -> U where
Self: CastTo<U>,
U: HasInterner,
[src]
Self: CastTo<U>,
U: HasInterner,
impl<T, I> CouldMatch<T> for T where
I: Interner,
T: Zip<I> + HasInterner<Interner = I> + ?Sized,
[src]
I: Interner,
T: Zip<I> + HasInterner<Interner = I> + ?Sized,
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T, I> Shift<I> for T where
I: Interner,
T: Fold<I, I>,
[src]
I: Interner,
T: Fold<I, I>,
fn shifted_in(&Self, &I) -> <T as Fold<I, I>>::Result
[src]
fn shifted_in_from(&Self, &I, DebruijnIndex) -> <T as Fold<I, I>>::Result
[src]
fn shifted_out_to(
&Self,
&I,
DebruijnIndex
) -> Result<<T as Fold<I, I>>::Result, NoSolution>
[src]
&Self,
&I,
DebruijnIndex
) -> Result<<T as Fold<I, I>>::Result, NoSolution>
fn shifted_out(&Self, &I) -> Result<<T as Fold<I, I>>::Result, NoSolution>
[src]
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
fn to_owned(&self) -> T
[src]
fn clone_into(&self, target: &mut T)
[src]
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
[src]
impl<T, I> VisitExt<I> for T where
I: Interner,
T: Visit<I>,
[src]
I: Interner,
T: Visit<I>,