Skip to main content

Module require_owned

dada_ir_sym::check::predicates

Module require_owned 

Source

Functions§

require_both_are_owned 🔒
Requires that (lhs rhs) satisfies the given predicate. The semantics of (lhs rhs) is: rhs if rhs is copy or lhs union rhs otherwise.
require_generics_are_owned 🔒
require_perm_is_owned 🔒
require_place_is_owned 🔒
require_term_is_owned 🔒
require_ty_is_owned 🔒