Timon Gehr <[email protected]> wrote: > [...] > What I am saying is: in a language with a bottom type, we can create a > function: > > T f(T)(Bottom b){ > return b; // assuming b converts to all types implicitly. > } > > Within the function body, b is a value of type Bottom. > We use a value of type Bottom to create a value of any type we want.
As I understand it, you can create *variables* of type Bottom but not *values*. b is a variable, not a value, you cannot actually call that function at runtime.
