}
}
@Override
public JVMInstruction effectStack_(final JVMStack _aJVMStack) {
final JVMType _aReceiverType;
final JVMType[] _anArray;
_anArray = st.gravel.support.jvm.ArrayExtensions.reverse(new st.gravel.core.Interval(1, _numArgs).collect_(new st.gravel.support.jvm.Block1<JVMType, Integer>() {
@Override
public JVMType value_(final Integer _i) {
return (JVMType) _aJVMStack.pop();
}
}));
_aReceiverType = _aJVMStack.pop();
st.gravel.support.jvm.ObjectExtensions.assert_(this, _aReceiverType.isObjectType());
_aJVMStack.push_(this.type());
return this.withReceiverType_argumentTypes_(_aReceiverType, _anArray);
}