On Mon, Feb 17, 2025 at 9:52 AM Danilo Krummrich <dakr@xxxxxxxxxx> wrote: > > On Mon, Feb 17, 2025 at 09:47:14AM -0500, Tamir Duberstein wrote: > > On Mon, Feb 17, 2025 at 9:37 AM Danilo Krummrich <dakr@xxxxxxxxxx> wrote: > > > You're free to do the change (I encourage that), but that's of course up to you. > > > > I'll create a "good first issue" for it in the RfL repository. > > That's a good idea -- thanks. What do you think about enabling clippy::ptr_as_ptr? https://rust-lang.github.io/rust-clippy/master/index.html#ptr_as_ptr Do we currently enable any non-default clippy lints?