Skip to main content

require_some_generic_is_unique

dada_ir_sym::check::predicates::require_unique

Function require_some_generic_is_unique 

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