Use default externs to enhance type inference

Description

Currently we process the default externs and this collect type information for many standard JavaScript APIs. We could use this to understand cases like `(.-length some-string)` and infer that it will return a number. This one probably requires the Mike Files Clojure predicate inference work to be practical.

Environment

None

Assignee

Unassigned

Reporter

David Nolen

Labels

None

Approval

None

Patch

None

Priority

Minor
Configure