Skip to content

Add an invariant preserved by dispatch_mut to the Dispatch trait#1

Open
matthias-brun wants to merge 1 commit intoverus-lang:mainfrom
matthias-brun:main
Open

Add an invariant preserved by dispatch_mut to the Dispatch trait#1
matthias-brun wants to merge 1 commit intoverus-lang:mainfrom
matthias-brun:main

Commits

Commits on Jun 26, 2024