The people working on miri asked if they could get the support in the nightly, I didn't check if it is in already, is it?
I don't think so.
We merged a PR recently, stdarch#803
but we should add a test that checks that this does not break
Probably a build job for x86+miri that only runs the
std::detect tests and checks that
is_x86_feature_detected! returns the same value as
sounds a good idea, I wanted the miri dev to write it since it requires some additional work to make sure it does not break because of miri itself.
@Luca Barbato i've updated the PR, and I think it closes stdarch#667 now
Will probably need to do a crater run