Skip to content

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

Open
matthias-brun wants to merge 1 commit into
verus-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 into
verus-lang:mainfrom
matthias-brun:main

Add an invariant preserved by dispatch_mut to the Dispatch trait

df8d5ca
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs