Skip to content

Fix panic from cross-crate FnDef impl-path collision#2559

Merged
mmcloughlin merged 2 commits into
verus-lang:mainfrom
mmcloughlin:derive-copy-panic
Jun 14, 2026
Merged

Fix panic from cross-crate FnDef impl-path collision#2559
mmcloughlin merged 2 commits into
verus-lang:mainfrom
mmcloughlin:derive-copy-panic

Build FnDef impl path with push_segment

67f7e9a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
fmt
succeeded Jun 14, 2026 in 1m 9s