Vertico doesnt work with native compilation

[materusPL]

Vertico stopped working after the latest update - nothing appears in the minibuffer when typing, no errors in messages buffer.

I've discovered that Vertico works correctly if it's not native compiled

The version from ELPA works fine. The issue occurs only when using the latest commit from GitHub.

Edit: Also, same problem with corfu. Had to disable compilation for it to work.

[minad]

Thanks for the report. Please provide more details and a minimal recipe starting from emacs -Q on Emacs 30.1. On my Emacs 30.1 setup, the latest Vertico and Corfu work fine with native compilation.

[materusPL]

Emacs 30.1. I'm using elpaca for installation.
I've narrowed the problem occurs with native-comp-speed set to 3. With default it works fine.
I've tested with this config.

early-init.el:

;;; -*- lexical-binding: t; -*-
  (setq package-enable-at-startup nil)
  (setq package-quickstart nil)
  (setq native-comp-speed 3)

init.el:

;;; -*- lexical-binding: t; -*-

;; Elpaca Init
(defvar elpaca-installer-version 0.11)
(defvar elpaca-directory (expand-file-name "elpaca/" user-emacs-directory))
(defvar elpaca-builds-directory (expand-file-name (concat "builds/" emacs-version "/") elpaca-directory))
(defvar elpaca-repos-directory (expand-file-name "repos/" elpaca-directory))
(defvar elpaca-order '(elpaca :repo "https://github.com/progfolio/elpaca.git"
                              :ref nil :depth 1 :inherit ignore
                              :files (:defaults "elpaca-test.el" (:exclude "extensions"))
                              :build (:not elpaca--activate-package)))
(let* ((repo  (expand-file-name "elpaca/" elpaca-repos-directory))
       (build (expand-file-name "elpaca/" elpaca-builds-directory))
       (order (cdr elpaca-order))
       (default-directory repo))
  (add-to-list 'load-path (if (file-exists-p build) build repo))
  (unless (file-exists-p repo)
    (make-directory repo t)
    (when (<= emacs-major-version 28) (require 'subr-x))
    (condition-case-unless-debug err
        (if-let* ((buffer (pop-to-buffer-same-window "*elpaca-bootstrap*"))
    		      ((zerop (apply #'call-process `("git" nil ,buffer t "clone"
                                                  ,@(when-let* ((depth (plist-get order :depth)))
                                                      (list (format "--depth=%d" depth) "--no-single-branch"))
                                                  ,(plist-get order :repo) ,repo))))
                  ((zerop (call-process "git" nil buffer t "checkout"
                                        (or (plist-get order :ref) "--"))))
                  (emacs (concat invocation-directory invocation-name))
                  ((zerop (call-process emacs nil buffer nil "-Q" "-L" "." "--batch"
                                        "--eval" "(byte-recompile-directory \".\" 0 'force)")))
                  ((require 'elpaca))
                  ((elpaca-generate-autoloads "elpaca" repo)))
            (progn (message "%s" (buffer-string)) (kill-buffer buffer))
          (error "%s" (with-current-buffer buffer (buffer-string))))
      ((error) (warn "%s" err) (delete-directory repo 'recursive))))
  (unless (require 'elpaca-autoloads nil t)
    (require 'elpaca)
    (elpaca-generate-autoloads "elpaca" repo)
    (let ((load-source-file-function nil)) (load "./elpaca-autoloads"))))
(add-hook 'after-init-hook #'elpaca-process-queues)
(elpaca `(,@elpaca-order))

(elpaca elpaca-use-package
  (elpaca-use-package-mode)
  (setq elpaca-use-package-by-default t))


  (use-package vertico
    :ensure t
    :config
  (vertico-mode 1))

if I comment line (setq native-comp-speed 3) and remove eln-cache it works as expected after it recompile.

[minad]

Okay, I pushed a commit which fixes the problem in my tests. Please give it a try.

[materusPL]

It works now with new commit.

[MartinNowak]

After reinstalling from melpa in emacs -Q it started to work, so can kind of confirm the native compilation hypothesis.
The only difference between the versions is the recently added vertico--guard. Removing that from the melpa vertico-20250511.1903 version alleviates the issue.

Updated: Could be related to native-comp-speed 3.

[minad]

Yes, I could reproduce the problem with native-comp-speed=3. This seems to be a compiler bug, some problem with the debugging variables and local type inference. The Vertico code should be type correct so it should work even with native-comp-speed=3.