Repository navigation

v1 infer: use each method arg's own declared parameter type, not the receiver's element_type - #8592

Merged

briansrls merged 17 commits into

mainfrom

infer-arg-contract-fix

Aug 20, 2026

Merged

v1 infer: use each method arg's own declared parameter type, not the receiver's element_type#8592
briansrls merged 17 commits into
mainfrom
infer-arg-contract-fix

Commits on Aug 19, 2026
- v1 infer: use each method arg's own declared parameter type, not the receiver's element_type
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  ed235bd
- scratch: isolated-branch verify dispatch script (not part of the fix, will be dropped before merge)
  gunbc-ci-auto-heal
  committed
  b59309e
- scratch: fix full-SHA reference in verify dispatch script
  gunbc-ci-auto-heal
  committed
  e89dd91
- scratch: verify sort_by algebra fix dispatch script (not part of the fix, will be dropped before merge)
  gunbc-ci-auto-heal
  committed
  5ba214e
- std/algebra: sort_by template row was missing its closure param_types entry
  gunbc-ci-auto-heal
  committed
  2087d8b
- scratch: SHA-pinned, sccache-cleared verify dispatch for sort_by fix (not part of the fix, will be dropped before merge)
  gunbc-ci-auto-heal
  committed
  0ebac3c
- scratch: add verbatim-invocation logging to sccache-cleared verify dispatch
  gunbc-ci-auto-heal
  committed
  e900b3e
- scratch: fix shallow-clone SHA resolution in verify dispatch (hardcode full SHAs)
  gunbc-ci-auto-heal
  committed
  767de29
- Merge origin/main into infer-arg-contract-fix
  gunbc-ci-auto-heal
  committed
  4b40f0b
- scratch: regen+measure dispatch for post-merge infer/algebra fix (not part of the fix, dropped before merge)
  gunbc-ci-auto-heal
  committed
  93928c2
- fix: restore closing brace for match arg_contract dropped during merge-conflict resolution
  gunbc-ci-auto-heal
  committed
  1fba7e6
- scratch: pin regen+measure dispatch to the brace-fixed merge head
  gunbc-ci-auto-heal
  committed
  093c2e3
Commits on Aug 20, 2026
- scratch: v3 dispatch -- dual baseline (pre-8579 true delta + main-tip contaminated delta), newly-appearing (a)/(b) split, and (b)-site provenance split against #8579's hardcoded method list (not pa…
  gunbc-ci-auto-heal
  committed
  71ca5fb
- fix: relocate body-scoped comment to module-item grain in 04_infer.dag
  gunbc-ci-auto-heal
  committed
  10542cb
- scratch: pin v3 dispatch to post-comment-relocation head (10542cb3bb4)
  gunbc-ci-auto-heal
  committed
  9b70e9d
- chore: remove scratch verification scripts flagged by review 53879 / 53893
  gunbc-ci-auto-heal
  committed
  52c9564
- scratch (temporary, will be removed before merge): scoped content-sync test for v1_compiler_infer.rs/std_algebra.rs -- verify mirror bytes without the corpus-wide required-regen population gate
  gunbc-ci-auto-heal
  committed
  4dbd4d5

Commits

Commits on Aug 19, 2026

Commits on Aug 20, 2026