Repository navigation

Refuse a product value at a kernel-scalar (or refined) declared type - #13391

Closed

gunbai-bot[bot] wants to merge 8 commits into

mainfrom

session/sharp-ant-136

Commits on Oct 5, 2026
- File product_value_at_a_scalar_formal_is_accepted; enroll its compile-probe reds
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  f135db5
- WIP: refuse a product at a kernel-scalar (or refined) declared type by identity-keyed head
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  30e520a
- Judge product-at-scalar at the return/let/data/field seams through the same relation
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  841abc2
- Retire the flipped expected-red rows; record the climb on the failure-mode row
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  69f2c57
- Install the emitted v1_compiler_infer.rs mirror
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  56504ba
Commits on Oct 7, 2026
- Merge main (gunbc#13385) into session/sharp-ant-136
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  f351963
Commits on Oct 8, 2026
- Drop the stray closing brace left by removing the product-at-scalar chunk
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  3dcdc72
- Install the regenerated v1_compiler_infer.rs mirror after merging main
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  257e939