Autoharness: instantiate Fn-bounded type parameters with nondet closures - #4726

Draft

tautschnig wants to merge 5 commits into

model-checking:mainfrom

tautschnig:c5p2-closures-pr

Commits on Jul 29, 2026

Autoharness: support generic functions

tautschnig
and
kiro-agent
committed
cf00d46
Report why a generic function could not be instantiated

tautschnig
and
kiro-agent
committed
52aceef
Autoharness: instantiate usize const generic parameters

tautschnig
and
kiro-agent
committed
c792ae4

Commits on Jul 31, 2026

Autoharness: per-parameter and trait-impl-derived generic instantiation

tautschnig
and
kiro-agent
committed
7e81251

Commits on Aug 7, 2026

Autoharness: instantiate Fn-bounded type parameters with nondet closures

tautschnig
and
kiro-agent
committed
4f66b60