[−][src]Enum chalk_rust_ir::InlineBound
An inline bound, e.g. : Foo<K> in impl<K, T: Foo<K>> SomeType<T>.
Variants
TraitBound(TraitBound<I>)AliasEqBound(AliasEqBound<I>)Trait Implementations
impl<I: Clone + Interner> Clone for InlineBound<I>[src]
fn clone(&self) -> InlineBound<I>[src]
fn clone_from(&mut self, source: &Self)1.0.0[src]
impl<I: Debug + Interner> Debug for InlineBound<I>[src]
impl<I: Eq + Interner> Eq for InlineBound<I>[src]
impl<I: Interner, _TI> Fold<I, _TI> for InlineBound<I> where
_TI: TargetInterner<I>, [src]
_TI: TargetInterner<I>,
type Result = InlineBound<_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 InlineBound<I>[src]
type Interner = I
impl<I: Hash + Interner> Hash for InlineBound<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: Interner> IntoWhereClauses<I> for InlineBound<I>[src]
type Output = WhereClause<I>
fn into_where_clauses(
&self,
interner: &I,
self_ty: Ty<I>
) -> Vec<WhereClause<I>>[src]
&self,
interner: &I,
self_ty: Ty<I>
) -> Vec<WhereClause<I>>
Applies the InlineBound to self_ty and lowers to a
chalk_ir::DomainGoal.
Because an InlineBound does not know anything about what it's binding,
you must provide that type as self_ty.
impl<I: PartialEq + Interner> PartialEq<InlineBound<I>> for InlineBound<I>[src]
fn eq(&self, other: &InlineBound<I>) -> bool[src]
fn ne(&self, other: &InlineBound<I>) -> bool[src]
impl<I: Interner> StructuralEq for InlineBound<I>[src]
impl<I: Interner> StructuralPartialEq for InlineBound<I>[src]
impl<I: Interner> Visit<I> for InlineBound<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,
Auto Trait Implementations
impl<I> RefUnwindSafe for InlineBound<I> where
<I as Interner>::DefId: RefUnwindSafe,
<I as Interner>::InternedParameter: RefUnwindSafe,
<I as Interner>::InternedType: RefUnwindSafe,
<I as Interner>::DefId: RefUnwindSafe,
<I as Interner>::InternedParameter: RefUnwindSafe,
<I as Interner>::InternedType: RefUnwindSafe,
impl<I> Send for InlineBound<I> where
<I as Interner>::DefId: Send,
<I as Interner>::InternedParameter: Send,
<I as Interner>::InternedType: Send,
<I as Interner>::DefId: Send,
<I as Interner>::InternedParameter: Send,
<I as Interner>::InternedType: Send,
impl<I> Sync for InlineBound<I> where
<I as Interner>::DefId: Sync,
<I as Interner>::InternedParameter: Sync,
<I as Interner>::InternedType: Sync,
<I as Interner>::DefId: Sync,
<I as Interner>::InternedParameter: Sync,
<I as Interner>::InternedType: Sync,
impl<I> Unpin for InlineBound<I> where
<I as Interner>::DefId: Unpin,
<I as Interner>::InternedParameter: Unpin,
<I as Interner>::InternedType: Unpin,
<I as Interner>::DefId: Unpin,
<I as Interner>::InternedParameter: Unpin,
<I as Interner>::InternedType: Unpin,
impl<I> UnwindSafe for InlineBound<I> where
<I as Interner>::DefId: UnwindSafe,
<I as Interner>::InternedParameter: UnwindSafe,
<I as Interner>::InternedType: UnwindSafe,
<I as Interner>::DefId: UnwindSafe,
<I as Interner>::InternedParameter: 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 as HasInterner>::Interner) -> U where
Self: CastTo<U>,
U: HasInterner, [src]
Self: CastTo<U>,
U: HasInterner,
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, interner: &I) -> <T as Fold<I, I>>::Result[src]
fn shifted_in_from(
&self,
interner: &I,
source_binder: DebruijnIndex
) -> <T as Fold<I, I>>::Result[src]
&self,
interner: &I,
source_binder: DebruijnIndex
) -> <T as Fold<I, I>>::Result
fn shifted_out_to(
&self,
interner: &I,
target_binder: DebruijnIndex
) -> Result<<T as Fold<I, I>>::Result, NoSolution>[src]
&self,
interner: &I,
target_binder: DebruijnIndex
) -> Result<<T as Fold<I, I>>::Result, NoSolution>
fn shifted_out(
&self,
interner: &I
) -> Result<<T as Fold<I, I>>::Result, NoSolution>[src]
&self,
interner: &I
) -> Result<<T as Fold<I, I>>::Result, NoSolution>
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>,