[−][src]Struct chalk_solve::rust_ir::AssociatedTyValue
Represents the value of an associated type that is assigned from within some impl.
impl Iterator for Foo { type Item = XXX; // <-- represents this line! }
Fields
impl_id: ImplId<I>
Impl in which this associated type value is found. You might need to look at this to find the generic parameters defined on the impl, for example.
impl Iterator for Foo { // <-- refers to this impl type Item = XXX; // <-- (where this is self) }
associated_ty_id: AssocTypeId<I>
Associated type being defined.
impl Iterator for Foo { type Item = XXX; // <-- (where this is self) } ... trait Iterator { type Item; // <-- refers to this declaration here! }
value: Binders<AssociatedTyValueBound<I>>
Additional binders declared on the associated type itself, beyond those from the impl. This would be empty for normal associated types, but non-empty for generic associated types.
impl<T> Iterable for Vec<T> { type Iter<'a> = vec::Iter<'a, T>; // ^^^^ refers to these generics here }
Trait Implementations
impl<I: Clone + Interner> Clone for AssociatedTyValue<I>
[src]
fn clone(&self) -> AssociatedTyValue<I>
[src]
fn clone_from(&mut self, source: &Self)
1.0.0[src]
impl<I: Debug + Interner> Debug for AssociatedTyValue<I>
[src]
impl<I: Eq + Interner> Eq for AssociatedTyValue<I>
[src]
impl<I: Interner, _TI> Fold<I, _TI> for AssociatedTyValue<I> where
_TI: TargetInterner<I>,
[src]
_TI: TargetInterner<I>,
type Result = AssociatedTyValue<_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: Hash + Interner> Hash for AssociatedTyValue<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<AssociatedTyValue<I>> for AssociatedTyValue<I>
[src]
fn eq(&self, other: &AssociatedTyValue<I>) -> bool
[src]
fn ne(&self, other: &AssociatedTyValue<I>) -> bool
[src]
impl<I: Interner> StructuralEq for AssociatedTyValue<I>
[src]
impl<I: Interner> StructuralPartialEq for AssociatedTyValue<I>
[src]
impl<I: Interner> ToProgramClauses<I> for AssociatedTyValue<I>
[src]
fn to_program_clauses(
&self,
builder: &mut ClauseBuilder<'_, I>,
_environment: &Environment<I>
)
[src]
&self,
builder: &mut ClauseBuilder<'_, I>,
_environment: &Environment<I>
)
Given the following trait:
trait Iterable {
type IntoIter<'a>: 'a;
}
Then for the following impl:
impl<T> Iterable for Vec<T> where T: Clone {
type IntoIter<'a> = Iter<'a, T>;
}
we generate:
-- Rule Normalize-From-Impl
forall<'a, T> {
Normalize(<Vec<T> as Iterable>::IntoIter<'a> -> Iter<'a, T>>) :-
Implemented(T: Clone), // (1)
Implemented(Iter<'a, T>: 'a). // (2)
}
impl<I: Interner> Visit<I> for AssociatedTyValue<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 AssociatedTyValue<I> where
<I as Interner>::DefId: RefUnwindSafe,
<I as Interner>::InternedType: RefUnwindSafe,
<I as Interner>::InternedVariableKinds: RefUnwindSafe,
<I as Interner>::DefId: RefUnwindSafe,
<I as Interner>::InternedType: RefUnwindSafe,
<I as Interner>::InternedVariableKinds: RefUnwindSafe,
impl<I> Send for AssociatedTyValue<I> where
<I as Interner>::DefId: Send,
<I as Interner>::InternedType: Send,
<I as Interner>::InternedVariableKinds: Send,
<I as Interner>::DefId: Send,
<I as Interner>::InternedType: Send,
<I as Interner>::InternedVariableKinds: Send,
impl<I> Sync for AssociatedTyValue<I> where
<I as Interner>::DefId: Sync,
<I as Interner>::InternedType: Sync,
<I as Interner>::InternedVariableKinds: Sync,
<I as Interner>::DefId: Sync,
<I as Interner>::InternedType: Sync,
<I as Interner>::InternedVariableKinds: Sync,
impl<I> Unpin for AssociatedTyValue<I> where
<I as Interner>::DefId: Unpin,
<I as Interner>::InternedType: Unpin,
<I as Interner>::InternedVariableKinds: Unpin,
<I as Interner>::DefId: Unpin,
<I as Interner>::InternedType: Unpin,
<I as Interner>::InternedVariableKinds: Unpin,
impl<I> UnwindSafe for AssociatedTyValue<I> where
<I as Interner>::DefId: UnwindSafe,
<I as Interner>::InternedType: UnwindSafe,
<I as Interner>::InternedVariableKinds: UnwindSafe,
<I as Interner>::DefId: UnwindSafe,
<I as Interner>::InternedType: UnwindSafe,
<I as Interner>::InternedVariableKinds: 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<Q, K> Equivalent<K> for Q where
K: Borrow<Q> + ?Sized,
Q: Eq + ?Sized,
[src]
K: Borrow<Q> + ?Sized,
Q: Eq + ?Sized,
fn equivalent(&self, key: &K) -> 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
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>,