const paddingRight_setterinfo: JSJitInfo;