[−][src]Struct chalk_rust_ir::AliasEqBound

pub struct AliasEqBound<I: Interner> {
    pub trait_bound: TraitBound<I>,
    pub associated_ty_id: AssocTypeId<I>,
    pub parameters: Vec<Parameter<I>>,
    pub value: Ty<I>,
}

Represents an alias equality bound on e.g. a type or type parameter. Does not know anything about what it's binding.

Fields

trait_bound: TraitBoundassociated_ty_id: AssocTypeIdparameters: Vec<Parameter>

Does not include trait parameters.

value: Ty

Trait Implementations

`impl<I: Clone + Interner> Clone for AliasEqBound`[src]

`fn clone(&self) -> AliasEqBound`[src]

`fn clone_from(&mut self, source: &Self)`1.0.0[src]

`impl<I: Debug + Interner> Debug for AliasEqBound`[src]

`fn fmt(&self, f: &mut Formatter) -> Result`[src]

`impl<I: Eq + Interner> Eq for AliasEqBound`[src]

`impl<I: Interner, _TI> Fold<I, _TI> for AliasEqBound where _TI: TargetInterner,` [src]

`type Result = AliasEqBound<_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]

`impl<I: Hash + Interner> Hash for AliasEqBound`[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]

`impl<I: PartialEq + Interner> PartialEq<AliasEqBound> for AliasEqBound`[src]

`fn eq(&self, other: &AliasEqBound) -> bool`[src]

`fn ne(&self, other: &AliasEqBound) -> bool`[src]

`impl<I: Interner> StructuralEq for AliasEqBound`[src]

`impl<I: Interner> StructuralPartialEq for AliasEqBound`[src]

`impl<I: Interner> Visit for AliasEqBound`[src]

`fn visit_with<'i, R: VisitResult>( &self, visitor: &mut dyn Visitor<'i, I, Result = R>, outer_binder: DebruijnIndex ) -> R where I: 'i,` [src]

Auto Trait Implementations

`impl RefUnwindSafe for AliasEqBound where ::DefId: RefUnwindSafe, ::InternedParameter: RefUnwindSafe, ::InternedType: RefUnwindSafe,`

`impl Send for AliasEqBound where ::DefId: Send, ::InternedParameter: Send, ::InternedType: Send,`

`impl Sync for AliasEqBound where ::DefId: Sync, ::InternedParameter: Sync, ::InternedType: Sync,`

`impl Unpin for AliasEqBound where ::DefId: Unpin, ::InternedParameter: Unpin, ::InternedType: Unpin,`

`impl UnwindSafe for AliasEqBound where ::DefId: UnwindSafe, ::InternedParameter: UnwindSafe, ::InternedType: UnwindSafe,`

Blanket Implementations

`impl<T> Any for T where T: 'static + ?Sized,` [src]

`fn type_id(&self) -> TypeId`[src]

`impl<T> Borrow<T> for T where T: ?Sized,` [src]

`fn borrow(&self) -> &T`[src]

`impl<T> BorrowMut<T> for T where T: ?Sized,` [src]

`fn borrow_mut(&mut self) -> &mut T`[src]

`impl<T> Cast for T`[src]

`fn cast(self, interner: &::Interner) -> U where Self: CastTo, U: HasInterner,` [src]

`impl<T> From<T> for T`[src]

`fn from(t: T) -> T`[src]

`impl<T, U> Into for T where U: From<T>,` [src]

`fn into(self) -> U`[src]

`impl<T, I> Shift for T where I: Interner, T: Fold<I, I>,` [src]

`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]

`fn shifted_out_to( &self, interner: &I, target_binder: DebruijnIndex ) -> Result<<T as Fold<I, I>>::Result, NoSolution>`[src]

`fn shifted_out( &self, interner: &I ) -> Result<<T as Fold<I, I>>::Result, NoSolution>`[src]

`impl<T> ToOwned for T where T: Clone,` [src]

`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 for T where U: Into<T>,` [src]

`type Error = Infallible`

The type returned in the event of a conversion error.

`fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>`[src]

`impl<T, U> TryInto for T where U: TryFrom<T>,` [src]

`type Error = >::Error`

The type returned in the event of a conversion error.

`fn try_into(self) -> Result<U, >::Error>`[src]

`impl<T, I> VisitExt for T where I: Interner, T: Visit,` [src]

`fn has_free_vars(&self, interner: &I) -> bool`[src]

[−][src]Struct chalk_rust_ir::AliasEqBound

Fields

Trait Implementations

impl<I: Clone + Interner> Clone for AliasEqBound<I>[src]

fn clone(&self) -> AliasEqBound<I>[src]

fn clone_from(&mut self, source: &Self)1.0.0[src]

impl<I: Debug + Interner> Debug for AliasEqBound<I>[src]

fn fmt(&self, f: &mut Formatter) -> Result[src]

impl<I: Eq + Interner> Eq for AliasEqBound<I>[src]

impl<I: Interner, _TI> Fold<I, _TI> for AliasEqBound<I> where _TI: TargetInterner<I>, [src]

type Result = AliasEqBound<_TI>

fn fold_with<'i>( &self, folder: &mut dyn Folder<'i, I, _TI>, outer_binder: DebruijnIndex) -> Fallible<Self::Result> where I: 'i, _TI: 'i, [src]

impl<I: Hash + Interner> Hash for AliasEqBound<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]

impl<I: PartialEq + Interner> PartialEq<AliasEqBound<I>> for AliasEqBound<I>[src]

fn eq(&self, other: &AliasEqBound<I>) -> bool[src]

fn ne(&self, other: &AliasEqBound<I>) -> bool[src]

impl<I: Interner> StructuralEq for AliasEqBound<I>[src]

impl<I: Interner> StructuralPartialEq for AliasEqBound<I>[src]

impl<I: Interner> Visit<I> for AliasEqBound<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]

Auto Trait Implementations

impl<I> RefUnwindSafe for AliasEqBound<I> where <I as Interner>::DefId: RefUnwindSafe, <I as Interner>::InternedParameter: RefUnwindSafe, <I as Interner>::InternedType: RefUnwindSafe,

impl<I> Send for AliasEqBound<I> where <I as Interner>::DefId: Send, <I as Interner>::InternedParameter: Send, <I as Interner>::InternedType: Send,

impl<I> Sync for AliasEqBound<I> where <I as Interner>::DefId: Sync, <I as Interner>::InternedParameter: Sync, <I as Interner>::InternedType: Sync,

impl<I> Unpin for AliasEqBound<I> where <I as Interner>::DefId: Unpin, <I as Interner>::InternedParameter: Unpin, <I as Interner>::InternedType: Unpin,

impl<I> UnwindSafe for AliasEqBound<I> where <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]

fn type_id(&self) -> TypeId[src]

impl<T> Borrow<T> for T where T: ?Sized, [src]

fn borrow(&self) -> &T[src]

impl<T> BorrowMut<T> for T where T: ?Sized, [src]

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]

impl<T> From<T> for T[src]

fn from(t: T) -> T[src]

impl<T, U> Into<U> for T where U: From<T>, [src]

fn into(self) -> U[src]

impl<T, I> Shift<I> for T where I: Interner, T: Fold<I, I>, [src]

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]

fn shifted_out_to( &self, interner: &I, target_binder: DebruijnIndex) -> Result<<T as Fold<I, I>>::Result, NoSolution>[src]

fn shifted_out( &self, interner: &I) -> Result<<T as Fold<I, I>>::Result, NoSolution>[src]

impl<T> ToOwned for T where T: Clone, [src]

type Owned = T

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]

type Error = Infallible

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]

type Error = <U as TryFrom<T>>::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]

fn has_free_vars(&self, interner: &I) -> bool[src]

`impl<I: Clone + Interner> Clone for AliasEqBound<I>`[src]

`fn clone(&self) -> AliasEqBound<I>`[src]

`fn clone_from(&mut self, source: &Self)`1.0.0[src]

`impl<I: Debug + Interner> Debug for AliasEqBound<I>`[src]

`fn fmt(&self, f: &mut Formatter) -> Result`[src]

`impl<I: Eq + Interner> Eq for AliasEqBound<I>`[src]

`impl<I: Interner, _TI> Fold<I, _TI> for AliasEqBound<I> where _TI: TargetInterner<I>,` [src]

`type Result = AliasEqBound<_TI>`

`fn fold_with<'i>( &self, folder: &mut dyn Folder<'i, I, _TI>, outer_binder: DebruijnIndex ) -> Fallible<Self::Result> where I: 'i, _TI: 'i,` [src]

`impl<I: Hash + Interner> Hash for AliasEqBound<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]

`impl<I: PartialEq + Interner> PartialEq<AliasEqBound<I>> for AliasEqBound<I>`[src]

`fn eq(&self, other: &AliasEqBound<I>) -> bool`[src]

`fn ne(&self, other: &AliasEqBound<I>) -> bool`[src]

`impl<I: Interner> StructuralEq for AliasEqBound<I>`[src]

`impl<I: Interner> StructuralPartialEq for AliasEqBound<I>`[src]

`impl<I: Interner> Visit<I> for AliasEqBound<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]

`impl<I> RefUnwindSafe for AliasEqBound<I> where <I as Interner>::DefId: RefUnwindSafe, <I as Interner>::InternedParameter: RefUnwindSafe, <I as Interner>::InternedType: RefUnwindSafe,`

`impl<I> Send for AliasEqBound<I> where <I as Interner>::DefId: Send, <I as Interner>::InternedParameter: Send, <I as Interner>::InternedType: Send,`

`impl<I> Sync for AliasEqBound<I> where <I as Interner>::DefId: Sync, <I as Interner>::InternedParameter: Sync, <I as Interner>::InternedType: Sync,`

`impl<I> Unpin for AliasEqBound<I> where <I as Interner>::DefId: Unpin, <I as Interner>::InternedParameter: Unpin, <I as Interner>::InternedType: Unpin,`

`impl<I> UnwindSafe for AliasEqBound<I> where <I as Interner>::DefId: UnwindSafe, <I as Interner>::InternedParameter: UnwindSafe, <I as Interner>::InternedType: UnwindSafe,`

`impl<T> Any for T where T: 'static + ?Sized,` [src]

`fn type_id(&self) -> TypeId`[src]

`impl<T> Borrow<T> for T where T: ?Sized,` [src]

`fn borrow(&self) -> &T`[src]

`impl<T> BorrowMut<T> for T where T: ?Sized,` [src]

`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]

`impl<T> From<T> for T`[src]

`fn from(t: T) -> T`[src]

`impl<T, U> Into<U> for T where U: From<T>,` [src]

`fn into(self) -> U`[src]

`impl<T, I> Shift<I> for T where I: Interner, T: Fold<I, I>,` [src]

`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]

`fn shifted_out_to( &self, interner: &I, target_binder: DebruijnIndex ) -> Result<<T as Fold<I, I>>::Result, NoSolution>`[src]

`fn shifted_out( &self, interner: &I ) -> Result<<T as Fold<I, I>>::Result, NoSolution>`[src]

`impl<T> ToOwned for T where T: Clone,` [src]

`type Owned = T`

`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]

`type Error = Infallible`

`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]

`type Error = <U as TryFrom<T>>::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]

`fn has_free_vars(&self, interner: &I) -> bool`[src]