Unnamed repository; edit this file 'description' to name the repository.
Auto merge of #3180 - eduardosm:check-intrinsics-target-feature, r=RalfJung
Check that target features required by LLVM intrinsics are enabled
Fixes https://github.com/rust-lang/miri/issues/3178