Skip to content

Give the infer-semantics witness bin the TypeEnv field it has been missing, so cargo build --bins stops failing on main - #9205

Merged
briansrls merged 1 commit into
mainfrom
fix/infer-semantics-witness-typeenv
Aug 25, 2026
Merged

Give the infer-semantics witness bin the TypeEnv field it has been missing, so cargo build --bins stops failing on main#9205
briansrls merged 1 commit into
mainfrom
fix/infer-semantics-witness-typeenv

Commits

  1. Commits on Aug 25, 2026