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.
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.