miri: fail when calling a function that requires an unavailable target feature#113720

Merged

bors merged 3 commits intorust-lang:masterfrom

eduardosm:miri-target-feature

Jul 17, 2023

Commits on Jul 15, 2023

miri: fail when calling a function that requires an unavailable target feature
eduardosm
committed

Commits on Jul 16, 2023

Add const-eval test for `#[target_feature(enable = ...)]` function calls
eduardosm
committed
Refactor checking function target features during const-eval
eduardosm
committed