Skip to main content

infer_is_provably

dada_ir_sym::check::predicates::var_infer

Function infer_is_provably 

Source 
pub async fn infer_is_provably<'db>(
    env: &mut Env<'db>,
    perm: SymPerm<'db>,
    infer: InferVarIndex,
    predicate: Predicate,
) -> Errors<bool>
Expand description

Wait until we know whether the inference variable IS the given predicate or we know that we’ll never be able to prove that it is.