speced/fn lacks specific coverage for metadata (type hint) emission. Its coverage is only concerned with :pre/:post emission.
Note that the implementation is shared with that of defn, which is fully covered, so it's nearly impossible that the shared code does not work for the fn case.
The difficulty lies in that one cannot access fn metadata.
Proposal
Inspect the speced/fn macroexpansions, verifying its contained metadata.
Alternatives and comparison
Do nothing
As mentioned, it can be acceptable, but I'd rather keep things proven.
Problem statement
speced/fnlacks specific coverage for metadata (type hint) emission. Its coverage is only concerned with :pre/:post emission.Note that the implementation is shared with that of defn, which is fully covered, so it's nearly impossible that the shared code does not work for the fn case.
The difficulty lies in that one cannot access
fnmetadata.Proposal
Inspect the
speced/fnmacroexpansions, verifying its contained metadata.Alternatives and comparison