const padding_right_setterinfo: JSJitInfo;