On Mon Oct 9 21:51:51 2023 +0000, Zebediah Figura wrote:
So these fail because max(0.1, 0.2) is a float1 rather than a float2, but this doesn't say anything about whether the user-defined max() function is *ever* matched. It turns out that, surprisingly, it isn't, so it might be nice to rewrite the tests to show that explicitly.
Done.