#2750
84%

Ran 06 Aug 2026 04:10AM UTC

Jobs 1

Files 39

Run time 1min

Badge

Embed ▾

Committed 06 Aug 2026 04:00AM UTC coverage: 83.571%. Remained the same

Build # #2750

Build Type

push

github

Committed by

web-flow

Commit Message

Guard the emitted signature's rank for a column slice taken in a method body (#858)

The 0.52.81 bump picks up wala/ML#824, under which a column sliced out of
a parameter inside a method body drops the indexed axis instead of keeping
the receiver's rank. Over-ranking is the damaging direction: a rank-1
argument is not a subtype of a rank-2 specification, so a signature
written from the leaked shape rejects every call the function actually
receives.

The construct needs a caller and a callee, which
`helperAssertInputSignatureEmission`'s single-function contract cannot
hold, so this is a bespoke test in the shape of `testRebindingDestructure`
reading `getInferredInputSignature()`. A module-scope control pins that
the two forms agree, which is the content of the upstream fix.

Closes #856.


Claude-Session: https://claude.ai/code/session_01AM8pvSeP5UqDyyTn9h5E2P

Co-authored-by: Claude Fable 5 <noreply@anthropic.com>

Coverage Stats

3052 of 3652 relevant lines covered (83.57%)

0.84 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	#2750.1	06 Aug 2026 04:10AM UTC	39	83.57

ponder-lab / Hybridize-Functions-Refactoring / #2750
84%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #2750

ponder-lab / Hybridize-Functions-Refactoring / #2750 84%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #2750

ponder-lab / Hybridize-Functions-Refactoring / #2750
84%

README BADGES
x