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