Struct RedBound 

pub struct RedBound<'env, 'db> {
    env: &'env Env<'db>,
    infer: InferVarIndex,
    direction: Direction,
    compiler_location: &'static Location<'static>,
}

Accessor for the bounding red-ty or red-perm on an inference variable. Can be used to read or modify the current values but can also be awaited through impl, which will block until a value is set by another task. Note that red-ty bounds can be set more than once but must always get tighter each time they are modified.

Fields

env: &'env Env<'db>

infer: InferVarIndex

direction: Direction

compiler_location: &'static Location<'static>

Implementations

impl<'env, 'db> RedBound<'env, 'db>

pub fn peek_ty(self) -> Option<(RedTy<'db>, ArcOrElse<'db>)>

Read the current value of the bound

pub fn set_ty(self, red_ty: RedTy<'db>, or_else: &dyn OrElse<'db>)

Modify the current value of the bound

pub fn ty(self) -> impl Future<Output = Option<(RedTy<'db>, ArcOrElse<'db>)>>

Convert to a future that blocks until the red-ty future is set

pub fn peek_perm(self) -> Option<(RedPerm<'db>, ArcOrElse<'db>)>

Read the current value of the bound

pub fn set_perm(self, red_perm: RedPerm<'db>, or_else: &dyn OrElse<'db>)

Modify the current value of the bound