   (interactive)
   (fstar-subp--ensure-available #'user-error 'info)
   (fstar-subp--query (fstar-subp--positional-info-query (point))
-                (apply-partially #'fstar-subp--info-continuation
-                                 #'fstar--jump-to-definition-continuation
-                                 (point))))
+                (fstar-subp--info-wrapper #'fstar--jump-to-definition-continuation (point))))
 
 ;;;; Company
 

           (retv (fstar-subp--query-and-wait query 0.01)))
      (pcase retv
        (`(t . (,success ,results))
         (fstar-subp--info-continuation
          (apply-partially #'fstar--eldoc-continuation #'identity)
          (point) success results))
        (`(needs-callback . ,_)
         (setf (cdr retv)
               (apply-partially #'fstar-subp--info-continuation
                                (apply-partially #'fstar--eldoc-continuation #'eldoc-message)
                                (point))))))))

(defun fstar--eldoc-truncate-message (fn &rest args)
  "Forward ARGS to FN within scope of binding for `message-truncate-lines'."

  (if (fstar-subp-available-p)
      (fstar-subp--query
       (fstar-subp--positionless-info-query (fstar-subp-company--candidate-fqn candidate))
       (fstar-subp--info-wrapper continuation nil))
    (funcall continuation 'busy)))

(defun fstar-subp-company--meta-continuation (callback info)
