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

Assignee

Unassigned

Reporter

import

Labels

None

Approval

None

Patch

None

Fix versions

Priority

Major
Configure