Michal Nazarewicz

You can use `transform:scale(1,-1)` and `transform:scale(-1,-1)`. Not sure whether the image would look good up-side-down though.

> You may want to update the examples in index.html so that they use the new code. Done.

> * one is to ignore the test case on runtime, > > * another is to ignore or run the test case with conditions, Those are the same question...

> This feels very much like a library solution instead of a proper language solution. If I understand correctly, the goal is to be able to distinguish between ignored and...

> Currently, #[ignore] or #[ignore = "reason"] is really static situation for a compiler, such that the compiler may be optimized to save resources to compile the test case. (I...

I was told that https://github.com/rust-lang/rust/pull/57367 made paths valid and indeed it seems to be working with `attr(key = path)`: https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=185491f1a1d37d58cc76c2d7617b9f62

> Perhaps we're conflating two different features? What you’re suggesting is introducing another kind of test result. Say we can ignore tests and ignored tests can be forced to execute...

> replace stats and metric with logging. I am not entirely sure if that's possible, we might want something more custom for this use case ? That’s sounds exactly backwards...

Empty vector is an invalid proof. The function would not return it.

> Can we use RawTrieNodeWithSize structure to avoid code duplication? There’s one difference which I don’t know if I understand fully. The Branch variant has child index in the proof....