Internal error with t/defn, sort-by and no refer all

Description

How to reproduce:

It does seem to reproduce somewhat flakily within existing REPL environments depending on what you've run in the past. This will consistently reproduce it:

Observed result:

Desired result:

Correct type returned.

Environment

org.clojure/core.typed 0.3.12

Activity

Show:
import
December 4, 2017, 2:06 AM

Comment made by: apiology

Hi! I just reproduced this issue using the docker recipe above (which uses the current version of org.clojure/core.typed. Did you try using the Docker recipe? Suggest reopening.

Ambrose Bonnaire-Sergeant
December 4, 2017, 3:11 AM

Thanks, I appreciate the followup! I think there's something fishy going on with a subset of the base type environment that's shared between the CLJ and CLJS checkers.

Assignee

Unassigned

Reporter

import

Labels

None

Approval

None

Patch

None

Fix versions

Priority

Major