Cameron Mcloughlin

Hmm, I don't think I have any uncommitted changes to `Cargo.toml` - I get the same error if I run `git reset --hard HEAD` (or if I just delete the...

That's the thing that's puzzling me, `cargo check --release --locked --all-targets` (and `cargo build`) succeed outside of nix, and there aren't any changes to the lockfile :/

I'll give that a shot and see if I can find a difference. I'm not super familiar with `--keep-failed`, am I right in thinking that the directory contains the nix...

Hmm, the mysteries continue... I ran that command, and had a look inside the directory, and the `Cargo.lock` file was identical to the one in my repo - this is...

Ah that makes sense. Perhaps this is naive/ugly, but is it possible to just insert a dummy value at index 0, then keep using the `NonZeroU32` as the index directly?...

Hi, I've just run into this issue trying to verify a program that depends on `unicode-bidi`, which has this snippet: ```rust #[cfg(feature = "std")] std::debug_assert!( false, "Found broken indices in...

Opened https://github.com/model-checking/kani/issues/2187

I had this issue. Doing the following fixed it: - downgrade my `bevy-inspector-egui` dependency to `0.28` (from `0.29`) - add `.insert_resource(EguiUserTextures::default())` to my app Before this, `cargo tree -i egui`...

Just stumbled across this - I'd be very interested in these types for cryptographic hashes, in case there's a need for more motivating examples