On Wed Mar 19, 2025 at 4:25 PM CET, Boqun Feng wrote: > On Tue, Mar 18, 2025 at 09:23:42AM +0000, Benno Lossin wrote: > [..] >> > +#![allow(clippy::incompatible_msrv)] >> > >> > -#[cfg(not(CONFIG_RUSTC_HAS_STABLE_STRICT_PROVENANCE))] >> > +#[cfg(not(CONFIG_RUSTC_HAS_EXPOSED_PROVENANCE))] >> > mod strict_provenance { >> >> Since there is only a single trait and impl in here, I think we don't >> need a module. > > We still need to provide stubs for with_exposed_provenance() and its > friends for rustc == 1.78, so there are a few more functions in this > module. Ah I see, that's okay then. --- Cheers, Benno