This commit is contained in:
The Miri Cronjob Bot 2025-08-24 05:02:39 +00:00
parent 005dc5cbdc
commit 9e18b7b0e1

View file

@ -1077,7 +1077,8 @@ impl<'tcx> Machine<'tcx> for MiriMachine<'tcx> {
.target_features
.iter()
.filter(|&feature| {
feature.kind != TargetFeatureKind::Implied && !ecx.tcx.sess.target_features.contains(&feature.name)
feature.kind != TargetFeatureKind::Implied
&& !ecx.tcx.sess.target_features.contains(&feature.name)
})
.fold(String::new(), |mut s, feature| {
if !s.is_empty() {