Skip to:

  1. Skip to Jira Navigation
  2. Skip to Side Navigation
  3. Skip to Main Content

Let-aliasing breaks flow inference for results of `class`

Description

The following code complains a NPE is possible from .isArray,
but clearly the assertion prevents that. This issue is related
to let-aliasing, probably related to core.typed not knowing how
to update the type of `c` with the information that it's class
is non-nil.

(fn [a :- t/Any] (let [c (class a) _ (assert c)] (.isArray c)))

Environment

None

Activity

Show:

Details

Assignee

Reporter

Labels

Components

Fix versions

Priority

Created July 3, 2017 at 5:15 PM
Updated December 4, 2017 at 12:19 AM

Flag notifications