Skip to content

Fix codegen for dynamic Fn::call and FnMut::call_mut#320

Merged
adpaco merged 4 commits into
model-checking:main-153-2021-07-09from
avanhatt:dyn-functions
Jul 12, 2021
Merged

Fix codegen for dynamic Fn::call and FnMut::call_mut#320
adpaco merged 4 commits into
model-checking:main-153-2021-07-09from
avanhatt:dyn-functions

Typo

c1555d6
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs