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

Evidence references

Open a published source test or inspect the evidence index for source and report summaries. A source file demonstrates a test scenario; it does not imply complete coverage of the related behavior.

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

Browse the public evidence index →