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.

Completed
Your pinned fields
Click on the next to a field label to start pinning.

Assignee

Ambrose Bonnaire-Sergeant

Reporter

import