[spec] ::defn-args spec does not capture type hint on return value

Description

Conforming a defn to the ::defn-args spec correctly preserves any type hint given to the inputs, but incorrectly loses the type hint given to the return value.

Cause: Conformed regex specs do not retain meta on their conformed value (coll specs do):

The particular spec where this comes up here is :clojure.core.specs.alpha/arg-list, which is an s/*.

Environment

Windows, Java 1.8

Activity

Show:

Details

Assignee

Reporter

Labels

Approval

Triaged

Priority

Affects versions

Created August 6, 2018 at 12:23 PM
Updated August 7, 2018 at 7:14 PM