We're updating the issue view to help you get more done. 

Core.typed doesn't understand inner class syntax inside non-nil-return

Description

Following code snippet illustrates that non-nil-return call has no effect on recipient-type-to function.
Core.typed still assumes that Message$RecipientType/TO can return nil.

1 2 3 4 5 6 7 8 9 10 (non-nil-return javax.mail.Message$RecipientType/TO :all) (ann recipient-type-to [-> Message$RecipientType]) (defn ^Message$RecipientType recipient-type-to [] (Message$RecipientType/TO)) (comment Type mismatch: Expected: (Fn [-> Message$RecipientType]) Actual: (Fn [-> (U Message$RecipientType nil)]))

Environment

None

Status

Assignee

Ambrose BS

Reporter

Max Gonzih

Labels

None

Approval

None

Patch

None

Affects versions

0.2

Priority

Minor