Skip to content

Generalized ingested match-fn emission (Rust target): make an ingested arrow whose body is a real Match emit to Rust (fn-signature + match-expr), unblocking Wave 1 exit witness ingested_classical_not_emit_accepts_holds - #6515

Closed
briansrls wants to merge 69 commits into
mainfrom
session/wise-koi-378
Closed

Generalized ingested match-fn emission (Rust target): make an ingested arrow whose body is a real Match emit to Rust (fn-signature + match-expr), unblocking Wave 1 exit witness ingested_classical_not_emit_accepts_holds#6515
briansrls wants to merge 69 commits into
mainfrom
session/wise-koi-378

Commits

  1. Commits on Jul 11, 2026

  2. Commits on Jul 12, 2026