Struct RedTyBoundIterator 

pub struct RedTyBoundIterator<'db> {
    infer: InferVarIndex,
    storage: [Option<RedTy<'db>>; 2],
}

Iterator over the red-ty bounds applied to infer that are coming from a given direction (above/below).

Fields

infer: InferVarIndex

storage: [Option<RedTy<'db>>; 2]

Implementations

impl<'db> RedTyBoundIterator<'db>

pub fn new(env: &Env<'db>, infer: InferVarIndex) -> Self

pub fn next( &mut self, env: &Env<'db>, ) -> impl Future<Output = Option<(Direction, RedTy<'db>)>>

Trait Implementations

impl<'db> From<RedTyBoundIterator<'db>> for SymGenericTermBoundIteratorKind<'db>

fn from(value: RedTyBoundIterator<'db>) -> Self

Converts to this type from the input type.