On Tue, Jun 3, 2025 at 11:05 PM Lyude Paul <ly...@redhat.com> wrote: > > Not sure this makes sense - debug_assertions is supposed to be about > assertions, we probably shouldn't try to use it for other things (especially > since we've already got dev_dbg! here)
Yeah, we added it in `pr_debug!`, but I think we should match the C side for that one instead. In general, we probably want to say that enabling `debug_assertions` should ideally have no "visible" effect on the program if there are no bugs (modulo performance etc.; and it should have a loud effect if there is indeed a bug :) Cheers, Miguel