Skip to content
This repository was archived by the owner on Jan 5, 2023. It is now read-only.

Refine potential targets for method call through interface#219

Merged
max-schaefer merged 4 commits intogithub:masterfrom
max-schaefer:refine-virtual-dispatch
Jun 22, 2020
Merged

Refine potential targets for method call through interface#219
max-schaefer merged 4 commits intogithub:masterfrom
max-schaefer:refine-virtual-dispatch

Commits

Commits on Jun 22, 2020