au
au copied to clipboard
Published
20 hours ago •
aurora-opensource
aurora-opensource
Support non-arithmetic Rep
As mentioned in #38, it's not our intention to restrict Rep to built-in arithmetic types forever. This issue tracks the idea of defining a separate trait which specifies exactly which properties are needed for a valid Rep.
Note that as part of this effort, we would need to check the impact on compile times.
To be clear: we already have experimental support for non-is_arithmetic Rep. Apparently, people have been using this, and it's been working fine so far. However, it would be nice to add constraints that specify exactly what a type needs in order to be a valid Rep. This could give more direct error messages for end users.