We're updating the issue view to help you get more done. 

Use dynamic inference to generate library annotations

Description

1 2 3 4 5 6 7 (ns foo {:lang :core.typed :core.typed {:infer-imports-dynamically true}} (:require [bar :as bar])) (defn f [x] (bar/g x))
1 2 3 (ns bar) (defn g [x] (inc x))

Release: 0.3.25

Environment

None

Status

Assignee

Ambrose BS

Reporter

Ambrose BS

Labels

None

Approval

None

Patch

None

Fix versions

Priority

Minor