Skip to content

rust_verify: improve error reporting on autoderive Clone#2263

Closed
bsdinis wants to merge 1 commit into
mainfrom
bsdinis/owt
Closed

rust_verify: improve error reporting on autoderive Clone#2263
bsdinis wants to merge 1 commit into
mainfrom
bsdinis/owt

Commits

Commits on May 9, 2026