#2104
80%
main: 79%

Ran 23 Jun 2026 09:54PM UTC

Jobs 1

Files 32

Run time 1min

Badge

Embed ▾

Committed 23 Jun 2026 09:50PM UTC coverage: 80.158%. Remained the same

Build # #2104

Build Type

push

github

Committed by

web-flow

Commit Message

Add a sentinel test pinning forward (argument-based) parameter typing (#656)

`testParameterTypedFromArgumentNotUse` characterizes that Ariadne types a
parameter from its call-site argument, not from its in-body uses: a parameter
used as sparse in one arm of an `isinstance` guard and dense in the other, but
passed a dense argument at its only call site, carries only a dense type—no
sparse type leaks from the sparse use.

This is the property that makes the call-site-precise recovery contemplated in
issue 653 unnecessary: because a parameter's inferred type already reflects its
actual arguments, a mixed sparse/dense union is genuine polymorphism (correctly
abandoned, #642) rather than a spurious artifact to recover from. The test is a
sentinel—a regression (a sparse type appearing on the parameter) would mean
Ariadne had switched to use-based typing, reopening 653.

Refs #653.


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

Co-authored-by: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

Coverage Stats

1628 of 2031 relevant lines covered (80.16%)

0.8 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	#2104.1	23 Jun 2026 09:54PM UTC	32	80.16

ponder-lab / Hybridize-Functions-Refactoring / #2104
80%
main: 79%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #2104

ponder-lab / Hybridize-Functions-Refactoring / #2104 80% main: 79%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #2104

ponder-lab / Hybridize-Functions-Refactoring / #2104
80%
main: 79%

README BADGES
x