Skip to content

Autoharness: try () when instantiating generic functions - #4880

Merged
feliperodri merged 3 commits into
model-checking:mainfrom
wodex1nhaoIeng:codex/autoharness-unit-candidate
Oct 2, 2026
Merged

Autoharness: try () when instantiating generic functions#4880
feliperodri merged 3 commits into
model-checking:mainfrom
wodex1nhaoIeng:codex/autoharness-unit-candidate

Autoharness: address review feedback for unit fallback

d5b8179
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
clippy-check
succeeded Oct 2, 2026 in 2m 37s