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.

Environment

None

Activity

Show:
Ambrose Bonnaire-Sergeant
September 9, 2013, 9:45 AM

This is not an issue with inner class syntax.

This is rather about nilable fields. TO here is a static field, nilable-param only takes methods.

core.typed doesn't yet support overriding fields.

Ambrose Bonnaire-Sergeant
September 9, 2013, 9:47 AM
Completed

Assignee

Ambrose Bonnaire-Sergeant

Reporter

Max Gonzih

Labels

None

Approval

None

Patch

None

Affects versions

Priority

Minor
Configure