Struct IteratorInfo 

pub struct IteratorInfo {
    pub iterator_type: TypeId,
    pub yield_type: TypeId,
    pub return_type: TypeId,
    pub next_type: TypeId,
}

Information about an iterator type extracted from a type.

This struct captures the key types needed for iterator/generator type checking:

• The iterator object type itself
• The type yielded by next().value (T in Iterator)
• The type returned when done (TReturn in IteratorResult<T, TReturn>)
• The type accepted by next() (TNext in Iterator<T, TReturn, TNext>)

Fields

iterator_type: TypeId

The iterator object type (has next() method)

yield_type: TypeId

The type yielded by the iterator (from IteratorResult<T, TReturn>)

return_type: TypeId

The return type when iteration completes

next_type: TypeId

The type accepted by next(val) (contravariant)

Trait Implementations

impl Clone for IteratorInfo

fn clone(&self) -> IteratorInfo

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for IteratorInfo

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

Formats the value using the given formatter.

impl PartialEq for IteratorInfo

fn eq(&self, other: &IteratorInfo) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for IteratorInfo

impl StructuralPartialEq for IteratorInfo