rust: Annotates literals with their type.

Cargo clippy reports unnecessary literal casting, instead do annotate every literal with its type. This change does not affect any static cast. Extracted rust files are updated. [1] https://rust-lang.github.io/rust-clippy/master/index.html#/unnecessary_cast
mit-plv · Oct 1, 2023 · 1a2f5b7 · 1a2f5b7
1 parent 08c339c
commit 1a2f5b7
Show file tree

Hide file tree

Showing 29 changed files with 11,398 additions and 11,399 deletions.
diff --git a/fiat-rust/src/curve25519_32.rs b/fiat-rust/src/curve25519_32.rs
diff --git a/fiat-rust/src/curve25519_64.rs b/fiat-rust/src/curve25519_64.rs
diff --git a/fiat-rust/src/curve25519_scalar_32.rs b/fiat-rust/src/curve25519_scalar_32.rs
diff --git a/fiat-rust/src/curve25519_scalar_64.rs b/fiat-rust/src/curve25519_scalar_64.rs
diff --git a/fiat-rust/src/curve25519_solinas_64.rs b/fiat-rust/src/curve25519_solinas_64.rs
diff --git a/fiat-rust/src/p224_32.rs b/fiat-rust/src/p224_32.rs
diff --git a/fiat-rust/src/p224_64.rs b/fiat-rust/src/p224_64.rs
diff --git a/fiat-rust/src/p256_32.rs b/fiat-rust/src/p256_32.rs
diff --git a/fiat-rust/src/p256_64.rs b/fiat-rust/src/p256_64.rs
diff --git a/fiat-rust/src/p256_scalar_32.rs b/fiat-rust/src/p256_scalar_32.rs
diff --git a/fiat-rust/src/p256_scalar_64.rs b/fiat-rust/src/p256_scalar_64.rs
diff --git a/fiat-rust/src/p384_32.rs b/fiat-rust/src/p384_32.rs
diff --git a/fiat-rust/src/p384_64.rs b/fiat-rust/src/p384_64.rs
diff --git a/fiat-rust/src/p384_scalar_32.rs b/fiat-rust/src/p384_scalar_32.rs
diff --git a/fiat-rust/src/p384_scalar_64.rs b/fiat-rust/src/p384_scalar_64.rs
diff --git a/fiat-rust/src/p434_64.rs b/fiat-rust/src/p434_64.rs
diff --git a/fiat-rust/src/p448_solinas_32.rs b/fiat-rust/src/p448_solinas_32.rs
diff --git a/fiat-rust/src/p448_solinas_64.rs b/fiat-rust/src/p448_solinas_64.rs
diff --git a/fiat-rust/src/p521_32.rs b/fiat-rust/src/p521_32.rs
diff --git a/fiat-rust/src/p521_64.rs b/fiat-rust/src/p521_64.rs
diff --git a/fiat-rust/src/poly1305_32.rs b/fiat-rust/src/poly1305_32.rs
diff --git a/fiat-rust/src/poly1305_64.rs b/fiat-rust/src/poly1305_64.rs