Type inference does not work correctly for catch blocks

cursive-ide / cursive

Cursive: The IDE for beautiful Clojure code

574 stars 7 forks source link

Type inference does not work correctly for catch blocks #2897

Open cursive-ide opened 2 months ago

cursive-ide commented 2 months ago

For example:

(try
  (URI. (subs line 24))
  (catch Exception e
    (print/print-error state (str "Error parsing URL " (subs line 24) ": "
                       (.getMessage e)))))

Here, e does not have type Exception.