reduce form with (U nil Num) accumulator needs inst to type check

Description

In the example below, the inst shouldn't be needed.

Environment

Clojure 1.7.0

Activity

Show:
Ambrose Bonnaire-Sergeant
December 3, 2017, 10:47 PM

Fundamental limitation of current inference.

Assignee

Ambrose Bonnaire-Sergeant

Reporter

import

Labels

None

Approval

None

Patch

None

Components

Fix versions

Affects versions

Priority

Minor
Configure