Type inference does not work correctly for catch blocks

[cursive-ide]

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.