const minHeight_getterinfo: JSJitInfo;