Skip to content

Autoharness: do not synthesize Arbitrary for structs with reference fields - #4694

Merged
feliperodri merged 5 commits into
model-checking:mainfrom
tautschnig:fix-ref-field-derive
Aug 23, 2026
Merged

Autoharness: do not synthesize Arbitrary for structs with reference fields#4694
feliperodri merged 5 commits into
model-checking:mainfrom
tautschnig:fix-ref-field-derive

Autoharness: consult a type's own Arbitrary impl before recursing for…

9da6091
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Auto Label
succeeded Aug 23, 2026 in 7s