Merge pull request #519 from nattress/bad_devirt
authorSimon Nattress <nattress@gmail.com>
Thu, 5 Dec 2019 01:18:51 +0000 (17:18 -0800)
committerGitHub <noreply@github.com>
Thu, 5 Dec 2019 01:18:51 +0000 (17:18 -0800)
Remove overly eager devirtualization optimization


Trivial merge