The demangling is wrong when run under miri. This might be a bug in miri.
A lot of demangling tests fail when run under miri.
To reproduce:
- install miri
rustup +nightly component add miri (see using miri)
- run some tests under miri:
cargo +nightly miri test --no-fail-fast demangle (filtering tests because they are slow under miri)