       (fstar-subp-kill)
       (error "Invalid state: Received output, but no region was busy"))
     (setq fstar-subp--busy-now nil)
+    (fstar-subp-clear-issues)
     (pcase status
       (`t   (fstar-subp-handle-success response overlay))
       (`nil (fstar-subp-handle-failure response overlay))

  (when (not (process-live-p proc))
    (fstar-subp-killed proc)))

(defun fstar-subp-remove-overlays ()
  "Remove all F* overlays in the current buffer."
  (mapcar #'delete-overlay (fstar-subp-overlays)))

(defmacro fstar-subp-with-process-buffer (proc &rest body)
  "Move to PROC's buffer to eval BODY."


;;; Imports

(require 'dash)
(require 'cl-lib)
(require 'flycheck)

;;; Group
