Regression test for optimizing that used to crash when inlining
a method whose return type is unresolved.