Skip to content

Generics in dyn trait fix: use vtable index to resolve functions#352

Merged
avanhatt merged 3 commits into
model-checking:main-153-2021-07-15from
avanhatt:generics-in-vtable
Jul 22, 2021
Merged

Generics in dyn trait fix: use vtable index to resolve functions#352
avanhatt merged 3 commits into
model-checking:main-153-2021-07-15from
avanhatt:generics-in-vtable

Merge branch 'main-153-2021-07-15' into generics-in-vtable

7b84552
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs