[−][src]Struct chalk_rust_ir::OpaqueTyDatumBound
Fields
The value for the "hidden type" for opaque type Foo = ...
bounds: Binders<Vec<QuantifiedWhereClause<I>>>Trait bounds for the opaque type.
Trait Implementations
impl<I: Clone + Interner> Clone for OpaqueTyDatumBound<I>[src]
fn clone(&self) -> OpaqueTyDatumBound<I>[src]
fn clone_from(&mut self, source: &Self)1.0.0[src]
impl<I: Debug + Interner> Debug for OpaqueTyDatumBound<I>[src]
impl<I: Eq + Interner> Eq for OpaqueTyDatumBound<I>[src]
impl<I: Interner, _TI> Fold<I, _TI> for OpaqueTyDatumBound<I> where
_TI: TargetInterner<I>, [src]
_TI: TargetInterner<I>,
type Result = OpaqueTyDatumBound<_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 OpaqueTyDatumBound<I>[src]
type Interner = I
impl<I: Hash + Interner> Hash for OpaqueTyDatumBound<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<OpaqueTyDatumBound<I>> for OpaqueTyDatumBound<I>[src]
fn eq(&self, other: &OpaqueTyDatumBound<I>) -> bool[src]
fn ne(&self, other: &OpaqueTyDatumBound<I>) -> bool[src]
impl<I: Interner> StructuralEq for OpaqueTyDatumBound<I>[src]
impl<I: Interner> StructuralPartialEq for OpaqueTyDatumBound<I>[src]
Auto Trait Implementations
impl<I> RefUnwindSafe for OpaqueTyDatumBound<I> where
<I as Interner>::DefId: RefUnwindSafe,
<I as Interner>::InternedParameterKinds: RefUnwindSafe,
<I as Interner>::InternedSubstitution: RefUnwindSafe,
<I as Interner>::InternedType: RefUnwindSafe,
<I as Interner>::DefId: RefUnwindSafe,
<I as Interner>::InternedParameterKinds: RefUnwindSafe,
<I as Interner>::InternedSubstitution: RefUnwindSafe,
<I as Interner>::InternedType: RefUnwindSafe,
impl<I> Send for OpaqueTyDatumBound<I> where
<I as Interner>::DefId: Send,
<I as Interner>::InternedParameterKinds: Send,
<I as Interner>::InternedSubstitution: Send,
<I as Interner>::InternedType: Send,
<I as Interner>::DefId: Send,
<I as Interner>::InternedParameterKinds: Send,
<I as Interner>::InternedSubstitution: Send,
<I as Interner>::InternedType: Send,
impl<I> Sync for OpaqueTyDatumBound<I> where
<I as Interner>::DefId: Sync,
<I as Interner>::InternedParameterKinds: Sync,
<I as Interner>::InternedSubstitution: Sync,
<I as Interner>::InternedType: Sync,
<I as Interner>::DefId: Sync,
<I as Interner>::InternedParameterKinds: Sync,
<I as Interner>::InternedSubstitution: Sync,
<I as Interner>::InternedType: Sync,
impl<I> Unpin for OpaqueTyDatumBound<I> where
<I as Interner>::DefId: Unpin,
<I as Interner>::InternedParameterKinds: Unpin,
<I as Interner>::InternedSubstitution: Unpin,
<I as Interner>::InternedType: Unpin,
<I as Interner>::DefId: Unpin,
<I as Interner>::InternedParameterKinds: Unpin,
<I as Interner>::InternedSubstitution: Unpin,
<I as Interner>::InternedType: Unpin,
impl<I> UnwindSafe for OpaqueTyDatumBound<I> where
<I as Interner>::DefId: UnwindSafe,
<I as Interner>::InternedParameterKinds: UnwindSafe,
<I as Interner>::InternedSubstitution: UnwindSafe,
<I as Interner>::InternedType: UnwindSafe,
<I as Interner>::DefId: UnwindSafe,
<I as Interner>::InternedParameterKinds: UnwindSafe,
<I as Interner>::InternedSubstitution: 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>,