Merge branch 'main' into ayaz/error-on-invalid-generalized-types

Signed-off-by: Ayaz <20735482+ayazhafiz@users.noreply.github.com>
This commit is contained in:
Ayaz 2025-01-10 14:36:48 -05:00 committed by GitHub
commit ee3c71dfe6
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
766 changed files with 20515 additions and 34868 deletions

View file

@ -1383,7 +1383,7 @@ impl DerivableVisitor for DeriveEq {
#[inline(always)]
fn visit_ranged_number(_var: Variable, _range: NumericRange) -> Result<(), NotDerivable> {
// Ranged numbers are allowed, because they are always possibly ints - floats can not have
// `isEq` derived, but if something were to be a float, we'd see it exactly as a float.
// `is_eq` derived, but if something were to be a float, we'd see it exactly as a float.
Ok(())
}
}