Use dynamic inference to generate library annotations

(ns foo
  {:lang :core.typed
   :core.typed {:infer-imports-dynamically true}}
  (:require [bar :as bar]))

(defn f [x]
  (bar/g x))

(ns bar)

(defn g [x] (inc x))