Skip to main content

require_both_are_owned

dada_ir_sym::check::predicates::require_owned

Function require_both_are_owned 

Source 
async fn require_both_are_owned<'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.