const minHeight_setterinfo: JSJitInfo;