008 reject group under quantifier

✓ Passing This code compiles and runs correctly.

Code

// Cut-2 restriction (same doctrine as backrefs): no capture groups under
// quantifiers — a repeated group has no single span, and silently keeping
// the last iteration is the trap every regex engine apologizes for.
// Rejected loudly at the match site.
import std/io
import std/regex

std/regex:match("aaa")
| `(?<x>a)+` { x } |> std/io:print.ln("{{ x:s }}")
| no-match |> std/io:print.ln("no")

input.k

Must contain:

GroupUnderQuantifier

Error Verification

Actual Compiler Output

🎯 Compiler coordination: Passes: 14 (flow-based: frontend, analysis, emission)
Error: output_emitted.zig:10:16: error: regex: cannot compile pattern `(?<x>a)+`: GroupUnderQuantifier
    comptime { @compileError("regex: cannot compile pattern `(?<x>a)+`: GroupUnderQuantifier"); }
               ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
referenced by:
    main_module: output_emitted.zig:9:25
    main: output_emitted.zig:438:5
    4 reference(s) hidden; use '-freference-trace=6' to see all references

Test Configuration

MUST_FAIL

← 007 reject groups field mismatch 009 reject group under alternation →