On Wed, Jun 14, 2023 at 8:09 PM Miguel Ojeda <ojeda@xxxxxxxxxx> wrote: > > +/// Prints a KUnit error. Nit: this should be "info" instead. By the way, we may want to have "raw" `pr_*!` macros without the module prefix for cases like this in the future, in `print.rs`. But, for the moment, I added these two ad-hoc ones here. Cheers, Miguel