Repository navigation

infer: refuse a Present arm over an unresolved scrutinee (silent wrong answer from #12386) - #12398

Merged

briansrls merged 8 commits into

mainfrom

session/quiet-eagle-13

Sep 28, 2026

Merged

infer: refuse a Present arm over an unresolved scrutinee (silent wrong answer from #12386)#12398
briansrls merged 8 commits into
mainfrom
session/quiet-eagle-13

Commits on Sep 27, 2026
- infer: refuse a Present arm over a scrutinee whose type did not resolve (silent wrong answer from #12386)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  621f3c5
- native_serving_apply: give the per-rank zip_map its declared type
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  a384b3d
- Merge remote-tracking branch 'origin/main' into session/quiet-eagle-13
  gunbc-ci-auto-heal
  committed
  cfda9bf
- rfm: the Rust emitter's behaviour on the red shape, executed (rustc E0282), replaces the read
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  ac000d4
- Present-arm refusal: narrow the stated scope to what was reviewed
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  5563bad
- Merge remote-tracking branch 'origin/main' into session/quiet-eagle-13
  gunbc-ci-auto-heal
  committed
  6a6bd4d
- durable_cas_file_store: give the split parts their declared type
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  976ed45
- Two more Present-arm sites given declared types: the floor terminal-ledger wire and a data-class witness
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  d890e00