Skip to main content

require_application_is_lent

dada_ir_sym::check::predicates::require_lent

Function require_application_is_lent 

Source 
async fn require_application_is_lent<'db>(
    env: &mut Env<'db>,
    lhs: SymGenericTerm<'db>,
    rhs: SymGenericTerm<'db>,
    or_else: &dyn OrElse<'db>,
) -> Errors<()>
Expand description

Requires that (lhs rhs) satisfies the given predicate. The semantics of (lhs rhs) is: rhs if rhs is copy or lhs union rhs otherwise.