Trait OfElementSatisfiesOnTuple

pub trait OfElementSatisfiesOnTuple<ConcernedTuple, ElementConstrain: ?Sized>: TupleIndex + Sized {
    type ElementType: ElementSatisfy<ElementConstrain> + ?Sized;

    // Required methods
    fn getter_for_tuple(
        t: &ConcernedTuple,
    ) -> &dyn TupleGetIndexExt<Self, ElementType = Self::ElementType>;
    fn getter_for_tuple_mut(
        t: &mut ConcernedTuple,
    ) -> &mut dyn TupleGetIndexExt<Self, ElementType = Self::ElementType>;
}

Trait on Index, meaning that the element at Index for ConcernedTuple satisfies ElementConstrain.

Required Associated Types

type ElementType: ElementSatisfy<ElementConstrain> + ?Sized

Required Methods

fn getter_for_tuple( t: &ConcernedTuple, ) -> &dyn TupleGetIndexExt<Self, ElementType = Self::ElementType>

fn getter_for_tuple_mut( t: &mut ConcernedTuple, ) -> &mut dyn TupleGetIndexExt<Self, ElementType = Self::ElementType>

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<Index: TupleIndex, ElementConstrain: ElementConstrainMark + ?Sized, ElementType: ElementSatisfy<ElementConstrain> + ?Sized, ConcernedTuple: TupleGetIndexExt<Self, ElementType = ElementType>> OfElementSatisfiesOnTuple<ConcernedTuple, ElementConstrain> for Index

type ElementType = ElementType