[−][src]Struct chalk_solve::rust_ir::TraitBound

pub struct TraitBound<I: Interner> {
    pub trait_id: TraitId<I>,
    pub args_no_self: Vec<GenericArg<I>>,
}

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

Fields

trait_id: TraitIdargs_no_self: Vec<GenericArg>

Implementations

`impl<I: Interner> TraitBound`[src]

`pub fn as_trait_ref(&self, interner: &I, self_ty: Ty) -> TraitRef`[src]

Trait Implementations

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

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

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

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

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

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

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

`type Result = TraitBound<_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 TraitBound`[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<TraitBound> for TraitBound`[src]

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

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

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

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

`impl<I: Interner> Visit for TraitBound`[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 TraitBound where ::DefId: RefUnwindSafe, ::InternedGenericArg: RefUnwindSafe,`

`impl Send for TraitBound where ::DefId: Send, ::InternedGenericArg: Send,`

`impl Sync for TraitBound where ::DefId: Sync, ::InternedGenericArg: Sync,`

`impl Unpin for TraitBound where ::DefId: Unpin, ::InternedGenericArg: Unpin,`

`impl UnwindSafe for TraitBound where ::DefId: UnwindSafe, ::InternedGenericArg: 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<Q, K> Equivalent<K> for Q where K: Borrow<Q> + ?Sized, Q: Eq + ?Sized,` [src]

`fn equivalent(&self, key: &K) -> bool`[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_solve::rust_ir::TraitBound

Fields

Implementations

impl<I: Interner> TraitBound<I>[src]

pub fn as_trait_ref(&self, interner: &I, self_ty: Ty<I>) -> TraitRef<I>[src]

Trait Implementations

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

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

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

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

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

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

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

type Result = TraitBound<_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 TraitBound<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<TraitBound<I>> for TraitBound<I>[src]

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

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

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

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

impl<I: Interner> Visit<I> for TraitBound<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 TraitBound<I> where <I as Interner>::DefId: RefUnwindSafe, <I as Interner>::InternedGenericArg: RefUnwindSafe,

impl<I> Send for TraitBound<I> where <I as Interner>::DefId: Send, <I as Interner>::InternedGenericArg: Send,

impl<I> Sync for TraitBound<I> where <I as Interner>::DefId: Sync, <I as Interner>::InternedGenericArg: Sync,

impl<I> Unpin for TraitBound<I> where <I as Interner>::DefId: Unpin, <I as Interner>::InternedGenericArg: Unpin,

impl<I> UnwindSafe for TraitBound<I> where <I as Interner>::DefId: UnwindSafe, <I as Interner>::InternedGenericArg: 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<Q, K> Equivalent<K> for Q where K: Borrow<Q> + ?Sized, Q: Eq + ?Sized, [src]

fn equivalent(&self, key: &K) -> bool[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: Interner> TraitBound<I>`[src]

`pub fn as_trait_ref(&self, interner: &I, self_ty: Ty<I>) -> TraitRef<I>`[src]

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

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

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

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

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

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

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

`type Result = TraitBound<_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 TraitBound<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<TraitBound<I>> for TraitBound<I>`[src]

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

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

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

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

`impl<I: Interner> Visit<I> for TraitBound<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 TraitBound<I> where <I as Interner>::DefId: RefUnwindSafe, <I as Interner>::InternedGenericArg: RefUnwindSafe,`

`impl<I> Send for TraitBound<I> where <I as Interner>::DefId: Send, <I as Interner>::InternedGenericArg: Send,`

`impl<I> Sync for TraitBound<I> where <I as Interner>::DefId: Sync, <I as Interner>::InternedGenericArg: Sync,`

`impl<I> Unpin for TraitBound<I> where <I as Interner>::DefId: Unpin, <I as Interner>::InternedGenericArg: Unpin,`

`impl<I> UnwindSafe for TraitBound<I> where <I as Interner>::DefId: UnwindSafe, <I as Interner>::InternedGenericArg: UnwindSafe,`