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

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.