Always false float comparisons

[Xinok via Digitalmars-d]

On Monday, 9 May 2016 at 18:51:58 UTC, tsbockman wrote:
> On Monday, 9 May 2016 at 18:37:10 UTC, Xinok wrote:
>> ...
>> (3) Generalize it to all comparisons as well, including < and 
>> ...
> (3) Makes no sense though; inequalities with mixed 
> floating-point types are perfectly safe. (Well, as safe as any 
> floating-point code can be, anyway.)
> ...

Not necessarily. Reusing 1.3 from the original case, the 
following assertion passes:

     float f = 1.3;
     assert(f < 1.3);

And considering we also have <= and >=, we may as well check all 
of the comparison operators. It's a complex issue because there 
isn't necessarily right or wrong behavior, only things that 
*might* be wrong. But if we want to truly detect all possible 
cases of incorrect behavior, then we have to be exhaustive in our 
checks.