[−][src]Struct chalk_solve::rust_ir::AssociatedTyValueBound
Fields
ty: Ty<I>Type that we normalize to. The X in type Foo<'a> = X.
Trait Implementations
impl<I: Clone + Interner> Clone for AssociatedTyValueBound<I>[src]
fn clone(&self) -> AssociatedTyValueBound<I>[src]
fn clone_from(&mut self, source: &Self)1.0.0[src]
impl<I: Debug + Interner> Debug for AssociatedTyValueBound<I>[src]
impl<I: Eq + Interner> Eq for AssociatedTyValueBound<I>[src]
impl<I: Interner, _TI> Fold<I, _TI> for AssociatedTyValueBound<I> where
_TI: TargetInterner<I>, [src]
_TI: TargetInterner<I>,
type Result = AssociatedTyValueBound<_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 AssociatedTyValueBound<I>[src]
type Interner = I
The interner associated with the type.
impl<I: Hash + Interner> Hash for AssociatedTyValueBound<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<AssociatedTyValueBound<I>> for AssociatedTyValueBound<I>[src]
fn eq(&self, other: &AssociatedTyValueBound<I>) -> bool[src]
fn ne(&self, other: &AssociatedTyValueBound<I>) -> bool[src]
impl<I: Interner> StructuralEq for AssociatedTyValueBound<I>[src]
impl<I: Interner> StructuralPartialEq for AssociatedTyValueBound<I>[src]
impl<I: Interner> Visit<I> for AssociatedTyValueBound<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 AssociatedTyValueBound<I> where
<I as Interner>::InternedType: RefUnwindSafe,
<I as Interner>::InternedType: RefUnwindSafe,
impl<I> Send for AssociatedTyValueBound<I> where
<I as Interner>::InternedType: Send,
<I as Interner>::InternedType: Send,
impl<I> Sync for AssociatedTyValueBound<I> where
<I as Interner>::InternedType: Sync,
<I as Interner>::InternedType: Sync,
impl<I> Unpin for AssociatedTyValueBound<I> where
<I as Interner>::InternedType: Unpin,
<I as Interner>::InternedType: Unpin,
impl<I> UnwindSafe for AssociatedTyValueBound<I> where
<I as Interner>::InternedType: 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]
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,
pub fn equivalent(&self, key: &K) -> bool[src]
impl<T> From<T> for T[src]
impl<T> Instrument for T[src]
fn instrument(self, span: Span) -> Instrumented<Self>[src]
fn in_current_span(self) -> Instrumented<Self>[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>,
pub fn shifted_in(&self, interner: &I) -> <T as Fold<I, I>>::Result[src]
pub 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
pub 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>
pub 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.
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
I: Interner,
T: Visit<I>, [src]
I: Interner,
T: Visit<I>,