[−][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]
pub 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]
pub fn clone(&self) -> Constraint<I>
[src]
pub 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> Fold<I> for Constraint<I>
[src]
type Result = Constraint<I>
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
pub fn fold_with<'i>(
self,
folder: &mut dyn Folder<'i, I>,
outer_binder: DebruijnIndex
) -> Fallible<Self::Result> where
I: 'i,
[src]
self,
folder: &mut dyn Folder<'i, I>,
outer_binder: DebruijnIndex
) -> Fallible<Self::Result> where
I: '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]
pub fn hash<__H: Hasher>(&self, state: &mut __H)
[src]
pub 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]
pub fn eq(&self, other: &Constraint<I>) -> bool
[src]
pub 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]
pub fn visit_with<'i, B>(
&self,
visitor: &mut dyn Visitor<'i, I, BreakTy = B>,
outer_binder: DebruijnIndex
) -> ControlFlow<B> where
I: 'i,
[src]
&self,
visitor: &mut dyn Visitor<'i, I, BreakTy = B>,
outer_binder: DebruijnIndex
) -> ControlFlow<B> 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,
[src]
<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,
[src]
<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,
[src]
<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,
[src]
<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,
[src]
<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,
pub fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> Cast for T
[src]
pub 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
T: Zip<I> + HasInterner<Interner = I> + ?Sized,
I: Interner,
[src]
T: Zip<I> + HasInterner<Interner = I> + ?Sized,
I: Interner,
pub fn could_match(&Self, &I, &dyn UnificationDatabase<I>, &T) -> bool
[src]
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
T: Fold<I>,
I: Interner,
[src]
T: Fold<I>,
I: Interner,
pub fn shifted_in(Self, &I) -> <T as Fold<I>>::Result
[src]
pub fn shifted_in_from(Self, &I, DebruijnIndex) -> <T as Fold<I>>::Result
[src]
pub fn shifted_out_to(
Self,
&I,
DebruijnIndex
) -> Result<<T as Fold<I>>::Result, NoSolution>
[src]
Self,
&I,
DebruijnIndex
) -> Result<<T as Fold<I>>::Result, NoSolution>
pub fn shifted_out(Self, &I) -> Result<<T as Fold<I>>::Result, NoSolution>
[src]
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
pub fn to_owned(&self) -> T
[src]
pub 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.
pub 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.
pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
[src]
impl<T, I> VisitExt<I> for T where
T: Visit<I>,
I: Interner,
[src]
T: Visit<I>,
I: Interner,