The main problem is stuff like assert_eq!(f32::NAN <= f32::NAN, false), even though “partial order” requires reflexivity, which is “𝑎 ≤ 𝑎” for all values 𝑎.
2 Likes
The main problem is stuff like assert_eq!(f32::NAN <= f32::NAN, false), even though “partial order” requires reflexivity, which is “𝑎 ≤ 𝑎” for all values 𝑎.