On Tue, Dec 03, 2019 at 09:08:55PM +0000, Paul Backus via Digitalmars-d-learn wrote: > On Tuesday, 3 December 2019 at 17:45:27 UTC, H. S. Teoh wrote: > > The thing is, `void` means "no return type" (or "no type" in some > > contexts), i.e., void == TBottom in that case. > > This is incorrect. `void` as a return type is a unit type; that is, a > type with exactly one value. A function with a return type of TBottom > is one that never returns at all--for example, libc's `exit` or > POSIX's `execve`.
Ah, my bad. See? This whole `void` business just throws me off. No wonder we can never get things straight when it comes to top/bottom types in C/C++/D. T -- He who sacrifices functionality for ease of use, loses both and deserves neither. -- Slashdotter
