Feature/typed action input inference - #2915

Draft

Alt-iOS wants to merge 15 commits into

ash-project:mainfrom

Alt-iOS:feature/typed-action-input-inference

Commits on Aug 30, 2026

Add compile-time action input inference
Alt-iOS
committed
a3920c7

Commits on Sep 3, 2026

Commits on Sep 4, 2026

fix persisted type inference diagnostics
Alt-iOS
committed
f8eb4f2
fix duplicate type witness clauses
Alt-iOS
committed
d36f0b6
deduplicate type inference diagnostics
Alt-iOS
committed
7a35b40
deduplicate inferred diagnostics by source line
Alt-iOS
committed
080d4af
avoid duplicate CLI diagnostics on compiler failure
Alt-iOS
committed
7cf8657
invalidate stale type inference diagnostics
Alt-iOS
committed
be3b4d6
remap type inference diagnostics to callback sources
Alt-iOS
committed
8f99915
incrementally refresh Ash type witnesses
Alt-iOS
committed
b7803d6
use typed Spark fork for Ash inference
Alt-iOS
committed
f63413d
fix forced type witness recompilation
Alt-iOS
committed
3167074