ljedrz

It seems that strings with a length of `0` or `32` and above cause issues, regardless of their contents.

Confirmed; I can't trigger a failure with the following test case: ``` #[test] fn test_assert_eq_succeeds_minified() { // Initialize the operation. let operation = |operands| AssertEq:: { operands }; // Initialize...

I might be onto something: when inspecting the `Equal::is_equal` impl for `StringType`, I noticed that string literals with lengths of `0` and anything other than `0` and ones differing by...

Also, the [related check](https://github.com/AleoHQ/snarkVM/blob/testnet3/circuit/types/string/src/equal.rs#L29) doesn't actually compare the lengths of strings, but the underlying fields.

The CI failures are unrelated. Cc https://github.com/AleoHQ/snarkVM/pull/1092 for the `clippy` one.

Sounds good; it's simple enough to redo 👌

Done in https://github.com/AleoHQ/snarkVM/pull/1201.

While this would provide a nicer early return, it would probably be more practical to use `handle_dispatch_error` here instead, in order to not give up after a single failed attempt....

> I think the original idea is from Paul Bourke. He calls it a Spiral Honeycomb Mosaic (SHM). For the record, I came up with the spiral coordinates in `hex-spiral`...

No need to look that far, the same happened with `tokei` 😃.