GrigorenkoPV

> * I think we should ignore `EPERM` errors from the `setgroups` call that `uid` causes, so that software works in containers by default without having to add special handling...

I thought GitHub wouldn't re-run the CI for a commit that was already tested before, but whataver. The PR is now "squashed" (actually just reverted back to the first commit).

Thank you for the response! > The documentation for the Kani library is currently available here: > https://model-checking.github.io/kani/crates/doc/kani/ > We plan to publish the documentation on crates.io once we publish...

The docs say this: > In some cases the tracking issue may not have many other active participants, so if you're ever having trouble getting any feedback please ping one...

> Can someone please clarify, `impl From for Ipv6Addr` is not marked as unstable although internally it calls into `Ipv6Addr::from_bits` which is marked unstable. Using the `From` implementation just works...

Isn't it already implemented? https://github.com/billyrieger/bimap-rs/blob/3dca651620845a939ee9e5393c0a8fe9fe0a1656/src/btree.rs#L735

> Small question: why are these constants in the `char` module instead of being associated constants on the `char` type? The initial proposal is from 2017 when presumably this wasn't...

> I also have a need of this feature which would greatly help with easier error handling when dealing with Ref/RefMut. Well, this will probably take ages before it's accepted...

I guess the package version should be bumped too. Totally forgot about that.

> maybe lto helped? Almost certainly yes. > what size is your `build1/.n2_db` file? maybe it's too small for it to matter here? ``` $ wc --bytes build{1,2}/.n2_db 430194 build1/.n2_db...