The NaN of types (in D)

[Ola Fosheim Grøstad]

On Monday, 12 October 2020 at 08:13:57 UTC, Ola Fosheim Grøstad 
wrote:
> other one to fail or go into an infinite loop.  If both fail I 
> guess you could assign it a bottom-value.
>
> But you might want to distinguish between "inconclusive" and 
> "contradiction"...

In case it wasn't clear. A bottom type contains no values, so it 
cannot contain bottom values...