Michal Nazarewicz

The default is to use `usize` and `Lsb0` so in the second example `rare_bits` is of type `BitVec`.

FYI, I’ve no idea what Kani is or what it does, but if you’re happy with nightly features, the proper way to do loop seen in the diff is: ```rust...

It’s useful if length of the slice not being divisible by the length of a chunk is an error. If you want to go through all the available chunks regardless...

Ideally it wouldn’t compile (which also makes me realise that suggested solution doesn’t currently do that but that can be addressed with a simple compile-time assert).

I had a thought that maybe an easier way to achieve this would be to grab header by hash and then check if its on current chain. I poked around...

In the meanwhile, here’s a workaround: ```toml [patch.crates-io] # aes-gcm-siv 0.10.3 and curve25519-dalek 3.x pin zeroize to

By the way, I’m beginning to think that the interface for the internal_decode should be *completely* changed. Specifically to something like: ```rust fn internal_decode( dst: *mut [MaybeUninit], src: *const [u8],...

@Henry-E, now that #2011 is merged, can we have this merged?

This is also what [auto-dim-other-buffers](https://github.com/mina86/auto-dim-other-buffers.el) uses (together with `:filtered` face predicate). There’s [a feature request](https://github.com/mina86/auto-dim-other-buffers.el/issues/35) to support vterm in adob but it’s not possible without this feature.

Unfortunately no, because `[T]::get` is not const.