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.
