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
This commit is contained in:
bors 2023-11-22 18:01:35 +00:00
commit 8d5cc53745

Diff content is not available