[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

Assignee

Unassigned

Reporter

Mark Engelberg

Labels

Approval

Triaged

Patch

None

Affects versions

Priority

Major