Skip to main content

require_infer_is

dada_ir_sym::check::predicates::var_infer

Function require_infer_is 

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

Requires the inference variable (appearing under the given context) to meet the given predicate (possibly reporting an error if that is contradictory).

If this is a type inference variable, we are ignoring the affiliated permission.