Repository navigation

fix(when): type a `when` subject from the binding in scope at the `when` - #335

Merged

Hessesian merged 3 commits into

mainfrom

fix/when-subject-through-local-binding

Oct 20, 2026

Merged

fix(when): type a `when` subject from the binding in scope at the `when`#335
Hessesian merged 3 commits into
mainfrom
fix/when-subject-through-local-binding

Commits on Oct 20, 2026
- fix(when): type a `when` subject from the binding in scope at the `when`
  
  Hessesian
  and
  claude
  committed
  fdb7626
- fix(when): anchor an inferred chain root on the file its type was written in
  
  Hessesian
  and
  claude
  committed
  11b0d5c
- test(architecture): lower fill_when resolver::infer baseline to 3
  
  Hessesian
  and
  claude
  committed
  0804373