factor: suppress some "never used" warnings

This commit is contained in:
Daniel Hofstetter 2024-04-15 16:40:11 +02:00
parent 11c4259a9a
commit d60fe6e9e9

View file

@ -13,6 +13,7 @@ use num_traits::{
};
use std::fmt::{Debug, Display};
#[allow(dead_code)] // Rust doesn't recognize the use in the macro
pub(crate) trait Int:
Display + Debug + PrimInt + OverflowingAdd + WrappingNeg + WrappingSub + WrappingMul
{
@ -23,6 +24,7 @@ pub(crate) trait Int:
fn as_u128(&self) -> u128;
}
#[allow(dead_code)] // Rust doesn't recognize the use in the macro
pub(crate) trait DoubleInt: Int {
/// An integer type with twice the width of `Self`.
/// In particular, multiplications (of `Int` values) can be performed in