Revert "make typer vcall test pass again." Turns out the test is pointing out a real bug

This reverts commit ea265eebf70314caab222006f313286973bfdf0b.