On Mon Oct 20, 2025 at 12:50 PM CEST, Alexandre Courbot wrote: > On Mon Oct 20, 2025 at 7:13 PM JST, Danilo Krummrich wrote: >> On Mon Oct 20, 2025 at 7:40 AM CEST, Alexandre Courbot wrote: >>> The alternative would be to have const functions like `usize_to_u64`. It >>> doesn't look as smooth as the extention trait, but can be used in const >>> contexts. >> >> That's what I thought of, exactly for the reason of being usable in const >> contexts (at least for a quick fix in nova-core). >> >> Whether we want an extention trait and a separate temporary >> const_usize_to_u64() >> etc. can be discussed in the context of making it common infrastructure. > > Thanks - so IIUC the idea would be to keep this local to nova-core in a > first time? If so I guess I can produce this fast (and convert our many > uses of `as` in the driver so far).
Yeah, I think that's reasonable. We can do both in parallel.
