I must agree with Kamil. I don't see practical benefits of this feature that would surpass the implications it has for the language. We already have static analysis handling such cases and it can be extended even to non-pure functions. Moreover, syntax (void) adds additional complexity to beginners' understanding of the typing system. The second option with $_ is BC on the other hand, so both options are unsatisfying. And honestly, I don't have good ideas for it.
Kind regards, Jorg Sowa
