Skip to content

Add parameter type propagation from call-site arguments#19

Merged
dak2 merged 1 commit into
mainfrom
infer-parameter-type
Feb 14, 2026
Merged

Add parameter type propagation from call-site arguments#19
dak2 merged 1 commit into
mainfrom
infer-parameter-type

Commits

Commits on Feb 13, 2026