Function non_infer_lower_bound

async fn non_infer_lower_bound<'db>(
    env: &mut Env<'db>,
    ty: SymTy<'db>,
) -> (RedTy<'db>, SymPerm<'db>)

Expand description

Convert ty to a RedTy; if the result is an inference variable, then wait until that variable has a lower-bound.

§Returns

A RedTy that is a lower bound for ty and which is not an inference variable.