(Pre-?)Pre-RFC: Range-restricting wrappers for floating-point types

As mentioned in pre-RFC `const` function arguments - #25 by gnzlbg :

This is important because RFC2000 makes it very clear floating point values will never be usable in const generics because they are not reflexive

That also adds a bit of motivation for potentially adding "not a NaN" floating point types which the compiler has special knowledge of at some point.

1 Like