> Hi internals, > > I'd like to start discussion on a new RFC about allowing `never` for > parameter types when declaring a method. >
At first signature seemed somewhat confusing to me, but now it makes perfect sense. Type-wise, about LSP, I find it logical that more concrete implementations could define more generic parameter types without breaking the interface. In this respect any type is more generic than never. Yet, do you think it's reasonable that "never" type should be used rather than "void"? From what I know, never - is a special type used when function never returns, and always dies or throws an exception. On the other hand, void is just an indication that function never returns (but doesn't die). In my opinion, it would make more sense to use void parameters. Also, I remember that in C / C++ language there's such a concept as "void pointer", - a completely legitimate structure (likely the same concept as here) that could point to address of the data of any type. Thank you >
