LANGUAGE · VERIFIED

Match

match value {
    0 => 10,
    1 | 2 => 20,
    3..=10 => 30,
    _ => 0
}

Verified patterns

Integer literals
Wildcard
Inclusive integer ranges
Multiple patterns
true / false
Strings
Enum variants
Binding patterns
Option and Result patterns

Exhaustiveness

Exhaustiveness diagnostics are verified for integer, Boolean, and enum scenarios.

Not established: advanced guards and advanced destructuring are not documented as supported features by the current audit.

TRACEABILITY

Related Evidence

Audit evidence

These references identify supplied project evidence related to the documented area. Test files indicate exercised scenarios; reports and source documents provide additional audit evidence. A listed item is not a claim that every related behavior is covered.

tests/backend/match_int.avs
tests/backend/match_bool_basic.avs
tests/backend/match_string.avs
tests/backend/match_enum.avs
tests/backend/test_option_match.avs
tests/negative/match_int_non_exhaustive.avs
tests/negative/match_bool_non_exhaustive.avs