Skip to main content

require_generics_are_owned

dada_ir_sym::check::predicates::require_owned

Function require_generics_are_owned 

Source 
async fn require_generics_are_owned<'db>(
    env: &mut Env<'db>,
    perm: SymPerm<'db>,
    generics: &[SymGenericTerm<'db>],
    or_else: &dyn OrElse<'db>,
) -> Errors<()>