Type checking fails using core.typed's defn but succeeds without

Description

Something seems to be wrong when using core.typed's defn with count:

; this fails type checking
(t/defn f [c :- clojure.lang.Counted] :- t/Int (count c))
 
; but this passes
(t/ann f [clojure.lang.Counted -> t/Int])
(defn f [c] (count c))

The error I get is:

Exception in thread "main" java.lang.IllegalArgumentException: No method in multimethod 'fold-rhs' for dispatch value: [:clojure.core.typed.subst/substitute clojure.core.typed.path_rep.CountPE]

I've posted the whole stack trace here: https://gist.github.com/t6/af21a4f4c6195cd27743

Environment

None

Activity

Ambrose Bonnaire-Sergeant

December 30, 2014 at 11:53 PM

Fixed for 0.2.75 https://github.com/clojure/core.typed/commit/90d27336fc000ccf47991e22e8f4123812c78205

Resize work item view side panel

Completed

Details

Assignee

Ambrose Bonnaire-Sergeant

Reporter

Former user(Deactivated)

Priority

Major

Created August 17, 2014 at 10:16 AM

Updated December 30, 2014 at 11:53 PM

Resolved December 30, 2014 at 11:53 PM