Skip to main content

require_either_is_shared

dada_ir_sym::check::predicates::require_shared

Function require_either_is_shared 

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