On 05.04.24 09:44, Alice Ryhl wrote: > On Fri, Apr 5, 2024 at 12:33 AM Benno Lossin <benno.lossin@xxxxxxxxx> wrote: >> >> On 04.04.24 14:31, Alice Ryhl wrote: >>> +/// A bitwise shift for the page size. >>> +#[allow(clippy::unnecessary_cast)] >> >> Why can't you remove the cast? > > Bindgen could decide to use a different type in the future or on > different platforms. Did that already happen? I think that we might want to know if the type changes, since then the value might change? -- Cheers, Benno
