This appendix maps each normative clause of the specification to the fixture(s) that exercise it. Every cited fixture exists; clauses with no dedicated fixture are flagged in E.2.1.
| Clause | Requirement (abbrev.) | Fixture(s) |
|---|
| §3.2 | one logical statement per line | tests/reject/two_stmts_one_line, reject/bare_expr_stmt |
| §3.4 | indentation; mixed tabs/spaces rejected | tests/tab_indent, reject/tab_mix, reject/tab_mix2 |
| §3.5.1 | a run-time binding must start lowercase or _ | tests/reject/upper_local, tests/reject/upper_param, tests/match_expr, tests/nested_pattern |
| §3.9.1 | integer literals; overflow rejected | tests/float_int_lit, reject/int_literal_overflow |
| §3.9.2 | float literals (exp / leading-dot forms) | tests/float_exp, tests/float_dot, reject/float_exp_bad |
| §3.9.3 | character literals | tests/char_basic, tests/char_byte |
| §3.9.3 | \xNN: exactly two hex digits, either case; char literals only | tests/char_hex_escape, reject/hex_escape_one_digit, reject/hex_escape_in_string |
| §3.9.4 | string literals; escapes; interior NUL | tests/multiline_literals, tests/string_nul, reject/string_escape |
| §3.9.4 | \r escape; adjacent-literal join (multi-line string) | tests/crlf_adjacent, plus corelib/test/csv, corelib/test/httpd (\r) and server/main.ty's error_body/usage (join) |
| §3.9.5 | f-string escape rule | tests/reject/fstring_escape |
| Clause | Requirement (abbrev.) | Fixture(s) |
|---|
| §5.1 | distinct type identity (no erasure) | tests/reject/char_as_type, reject/newtype_key_mix, reject/newtype_agg_mix |
| §5.2.1 | int = required 64-bit two's-complement (range, defined wrap) | tests/int_overflow |
| §5.2.1 | int stays 64-bit under a non-LP64 C data model (no truncation of values, literal arithmetic or length headers) | tests/int64_width, the make ilp32 lane (whole suite rebuilt gcc -m32, 64-bit goldens unchanged) |
| §5.2.3 | char is not int | tests/char_ops, reject/char_int_eq, reject/char_int_mul, reject/char_int_ord |
| §5.2.4 | to_char(n): int -> char, aborting outside 0..255 | tests/char_to_char, tests/abort/chr_oob |
| §16.8 | the char row of the element-wise table (+ - only), reached by inference since char has no keyword | tests/char_elem_ops, reject/char_elem_mul, reject/char_elem_div, reject/char_elem_mod |
| §5.2.6 | bytes operators: b[i] yields int (not a 1-length bytes) and is not a place; b[i:j] yields bytes and clamps; a + b and b + 'c' concatenate; no implicit string mixing; every one byte-safe across an interior 0x00 | corelib/test/io (byte_index, byte_slice, byte_cat, byte_rebuild), the §5.2.6 example (scripts/spec_check.sh), server/main.ty (log_safe); no tests/ fixture |
| §5.2.7 | fixed-width u32/u64/f32 | tests/sized_ints, tests/sized_family, corelib/test/sha256 |
| §5.3.2 | fixed-size arrays [N]T | tests/fixed_array, reject/fixed_array_bad_length, reject/fixed_array_zero_size, reject/fixed_array_nonconst_size |
| §5.3.5 | maps; composite keys | tests/maps, tests/map_literal_composite_key, tests/mapstructkey, tests/vector_map_key, reject/map_as_key, reject/map_key_enum_leaf, reject/map_key_bytes_top |
| §5.3.9 | typed handles (affine, RAII free) | tests/ffi (use_res_close), reject/close_handle_nonvar |
| §5.3.10 | bounded[N]T inline fixed capacity; runtime count; push traps when full | tests/bounded, tests/bounded_const_cap, reject/fixarr_into_bounded_arg, reject/bounded_nonconst_cap, reject/bounded_const_cap_zero, reject/bounded_chan_elem, reject/bounded_task_elem |
| §5.4 | newtypes; unwrap; key/agg mixing rejected | tests/newtypes, tests/newtype_key, reject/newtype_key_mix |
| §5.5 | structural ==; functions not comparable | tests/map_eq, tests/option_eq, eqparity lane, reject/fn_eq |
| Clause | Requirement (abbrev.) | Fixture(s) |
|---|
| §7.2 | where predicate accept/reject | tests/generic_where, reject/where_numeric, reject/where_unknown_pred, reject/where_nongeneric |
| §7.2 | hashable/defaultable predicates | tests/generic_hashable, tests/generic_defaultable, reject/where_hashable_bad, reject/zero_bad_type |
| §7.4 | const generics [N]T / [$N]T | tests/const_generic_size, reject/const_generic_size_return_only, reject/const_generic_size_struct_field, reject/const_generic_size_dynamic_arg |
| §7.5 | explicit type args f$(T) | tests/generic_explicit, reject/explicit_count, reject/explicit_noarg, reject/explicit_nongeneric |
| §7.6 | generic UFCS method-style calls | tests/generic_ufcs |
| §7.7 | variadic (generic) parameters | tests/variadic, reject/variadic_not_last, reject/variadic_empty_generic, reject/variadic_spread_mixed |
| Clause | Requirement (abbrev.) | Fixture(s) |
|---|
| §9.2 | copy on assign / argument / return | tests/value_semantics, tests/move, tests/ctor_move |
| §9.3 | structural == mirrors the copy | tests/map_eq, tests/option_eq, eqparity lane |
| §10.2 | escape rule (closures re-home) | tests/closures, tests/closure_fncap, tests/closure_loop_fuse |
| §11.1 | inout copy-in / copy-out | tests/inout_string, tests/scalar_elem_inout |
| §11.2 | inout exclusivity (aliasing rejected) | tests/reject/inout_alias, reject/inout_byval_alias, reject/slice_inout_alias |
| §11.4 | sink move convention | tests/sink, reject/sink_use_after |
| §11.5 | types that cannot be inout (channel, function value) | tests/reject/chan_inout_param, reject/inout_fnvalue, tests/chan_param_recv |
| Clause | Requirement (abbrev.) | Fixture(s) |
|---|
| §13.1 | place expressions | tests/delete_place, tests/option_place_store, tests/projections |
| §13.2 | binary operators; in membership | tests/bitops, tests/logic, reject/in_array, reject/in_string, reject/in_wrong_key |
| §13.3 | unary - ~ not | tests/shift_edge, unaryparity lane |
| §13.4 | evaluation order; subject evaluated once | tests/compound_index_eval, tests/match_subject_once |
| §13.4 | place-evaluation order: every place leg left-to-right, before the RHS | tests/place_eval_order, tests/eval_order |
| §13.4 | compound assignment through a user subscript: the argument is evaluated once | tests/compound_subscript_eval |
| §13.4 | f-string holes are sequenced left-to-right | tests/fstring_eval_order |
| §13.5 | expression-valued if/match (tail) | tests/if_expr, tests/match_expr, tests/match_inline, reject/if_expr_no_else, reject/match_expr_nonexhaustive |
| §13.5 | multi-statement value arms (block ending in a value expr) | tests/if_expr_block, tests/match_expr_block, reject/value_arm_no_tail |
| §13.6 | closures & function values | tests/closures, tests/funcvalues, tests/combinator, reject/infer_lambda_param |
| Clause | Requirement (abbrev.) | Fixture(s) |
|---|
| §14.4 | the four loop shapes: condition, infinite, three-clause (ascending and descending), foreach | tests/foreach, tests/while_loop, tests/for3, tests/for_bare, tests/range_negative_step |
| §14.4 | all three clauses required; range() removed; 0..<N refused outside parallel for | reject/for3_empty_clause, tests/diag/range_removed, reject/dotlt_sequential, tests/diag/dotlt_sequential — diagnostic text is pinned byte-for-byte by the tests/diag/ fixtures |
| §14.4 | break / continue; continue runs the three-clause post clause | tests/break_continue, tests/loop_return, tests/for3 |
| §19.4 | match statement; exhaustive; wildcard-last | tests/enums, tests/matchwild, reject/match_non_exhaustive, reject/match_dup_arm, reject/match_wildcard_not_last |
| §14.3.1 | nested patterns on an Ok/Err/Some payload; unqualified variant; refined-before-unrefined ordering; exhaustive by refined coverage | tests/nested_pattern, corelib/test/result (why, io_why) |
| Clause | Requirement (abbrev.) | Fixture(s) |
|---|
| §16.2 | indexing & bounds; OOB aborts | tests/abort/index_oob, tests/bounds_elision |
| §16.4 | growth push; in-place append; alias guard | tests/push_fusion, tests/append_alias, reject/push_scalar |
| §16.6 | slices | tests/slices, tests/string_slice, reject/slice_inout_alias |
| §16.7 | element-type restriction: void rejected everywhere; bool legal as a dynamic element, rejected in the inline fixed forms | tests/bool_array, tests/cond_stmt_expr, reject/fixarr_elem_bool, reject/bounded_elem_bool |
| §16.8 | element-wise arithmetic; broadcast (order kept, literal adapts); fresh result; [N]T mismatch rejected, [T] mismatch aborts | tests/array_arith, tests/array_bcast, tests/array_arith_fresh, tests/array_bcast_fresh, tests/abort/array_arith_len, reject/array_arith_fixlen, tests/diag/array_arith_fixlen, tests/diag/array_bcast_widen |
| §17.1 | struct construction & fields | tests/named_fields, tests/recursive_structs |
| §17.3 | recursion only through a container | tests/recursive_structs, tests/recursive_enum_array |
| §17.4 | tuples; index-assign/range rejected | tests/tuples, tests/tuple_assign, reject/tuple_elem_index_assign, reject/tuple_index_range |
| §17.5 | destructuring; simultaneous assignment; swizzling | tests/multiassign_scope, tests/tuple_assign, tests/multi_assign, tests/swizzle, tests/lane_names, reject/lane_past_end, reject/lane_too_many, reject/massign_dup_target, reject/massign_not_a_place, reject/massign_for_clause, reject/swizzle_dup_field, reject/swizzle_one_component, reject/swizzle_base_not_place, reject/swizzle_base_indexed, reject/massign_subscript_target |
| §18.2–18.6 | m[k] place/rvalue, delete, keys, m.get | tests/map_mutation, tests/map_delete, tests/map_get_method, tests/map_insorder, reject/map_del_removed, reject/map_key_wrong_read |
| §18.7 | user-defined subscripts | tests/subscript |
| §19.1–19.3 | enums, Option, Result; construction | tests/enums, tests/options, tests/results, reject/genenum_bare_nullary, reject/sum_ctor_payload_mismatch |
| §14.1.1 | pass, the no-op statement; contextual, so the name still binds | tests/pass_stmt, reject/pass_as_value |
| §28.3 | a top-level const is exported and folded at the use site; _name stays private | tests/pkg/const_export, reject/pkg/const_private |
| §15 | main's two shapes; Err out of the entry point prints bare and exits non-zero | tests/main_result, tests/abort/main_result_err, reject/main_result_int, reject/main_result_enum_err, reject/main_params |
| §19.8, §13.2 | is — the variant test: nullary and payload-carrying alike, inside a boolean expression, and the two compile-time rejections | tests/enum_is, reject/enum_is_unknown_variant, reject/enum_is_not_an_enum |
| §19.8, §19.5, §19.6 | is on Option and Result: all four names, on a call result, and a name from the other family rejected | tests/optres_is, reject/optres_is_wrong_family |
| §19.x | or_return propagation | tests/or_return, tests/or_return_option, tests/or_return_frees |
| §5.3.6 | Result(void, E): Ok(), a bare Ok: arm, the or_return statement form | tests/result_void, reject/void_not_a_type, reject/option_void, reject/result_void_err, reject/result_void_ok_arg, reject/ok_empty_nonvoid, reject/err_empty, reject/result_void_bind, reject/result_void_arm_binds, reject/match_result_void_missing_err, reject/orreturn_stmt_value |
| Clause | Requirement (abbrev.) | Fixture(s) |
|---|
| §21 | spawn / Task / wait (affine, implicit join) | tests/conc/basic, tests/conc/implicit, reject/task_copy |
| §22 | parallel-for (0..<N counting form and foreach); channel-drain | tests/conc/parfor, tests/conc/parfor_dotlt, tests/conc/parfor_chan, tests/conc/select_parfor, parforparity lane |
| §23 | channels (Vyukov, capacity, select) | tests/conc/chan, tests/conc/chancap1, tests/conc/select, reject/send_wrong_type, reject/chan_reassign |
| §24.1 | FFI crossable types (scalars/str/bytes/handles/sized) | tests/ffi, examples/sqlite/demo.ty |
| §24.1 | [string] param crosses as (const char *const *, long), borrowed; empty array | tests/ffi (ffi_sfold, ffi_spick) |
| §24.1 | a [string] *return* stays rejected | tests/reject/extern_ret_arr_string.ty |
| §24.2 | linking / cc invocation | tests/ffi/run.sh, examples/sqlite |
| §25 | typed handle decl: name must not collide with a struct/enum/newtype/handle | tests/reject/handle_dup_name |
| Clause | Requirement (abbrev.) | Fixture(s) |
|---|
| §29.3 | I/O & process builtins | tests/io_builtins, tests/println, tests/write_file |
| §29.5 | string builtins | tests/strbuild, tests/str_fuse, tests/str_index, tests/strbytes |
| §29.5 | char_at yields char; s[i] still yields int; OOB aborts | tests/char_at, tests/abort/char_at_oob, reject/char_at_arg_index_type, reject/char_at_arg_recv_type |
| §29.6 | array builtins; len on scalar rejected | tests/pop, tests/reservecomposite, reject/len_scalar |
| §29.12 | abnormal termination (die) | tests/die |
| §29.12 | exit(code) terminates with an explicit status (0 included) | server/main.ty (--help); no tests/ fixture |
| §29.12.1 | die/exit are diverging: legal as a value if/match tail; all-diverging rejected | server/main.ty (srv := match net.listen(...)); no tests/ fixture |
| §30.1 | defined two's-complement wraparound | tests/int_overflow |
| §30.2 | the abort set (div0, bounds, empty pop, …) | tests/abort/div_zero, abort/div_overflow, abort/mod_zero, abort/index_oob, abort/chr_oob, abort/pop_empty, abort/reserve_range |
| §30.4 | defined string/map behavior (byte-safe, insertion order) | tests/string_nul, tests/map_insorder, tests/maparraykey |
These are covered by construction or by design rather than a single fixture, and are flagged here so the gap is explicit rather than hidden: