Open
Description
Running cargo miri test --lib
on a crate that has [lib] proc-macro = true
in Cargo.toml prints the following and does not run the unit tests:
Running unit tests of `proc-macro` crates is not currently supported by Miri.
Unit tests inside proc macro crates are allowed and supported by cargo test --lib
.
I found this message originated a year ago from #1675 but I did not find a corresponding issue that I could follow, so here is one.