Regression test on checking argument types for unresolved invoke-super.