target_feature: make it more clear what that 'Option' means

RalfJung · RalfJung · commit b2add8a63e14 · 2023-11-12T12:46:05.000+01:00
diff --git a/src/lib.rs b/src/lib.rs
@@ -384,7 +384,7 @@ pub fn target_features(sess: &Session, allow_unstable: bool, target_info: &Locke
         .iter()
         .filter_map(
             |&(feature, gate)| {
-                if sess.is_nightly_build() || allow_unstable || gate.is_none() { Some(feature) } else { None }
+                if sess.is_nightly_build() || allow_unstable || gate.is_stable() { Some(feature) } else { None }
             },
         )
         .filter(|_feature| {

Original file line number	Diff line number	Diff line change
`@@ -384,7 +384,7 @@ pub fn target_features(sess: &Session, allow_unstable: bool, target_info: &Locke`
`384`	`384`	`.iter()`
`385`	`385`	`.filter_map(`
`386`	`386`	`\|&(feature, gate)\| {`
`387`		`- if sess.is_nightly_build() \|\| allow_unstable \|\| gate.is_none() { Some(feature) } else { None }`
	`387`	`+ if sess.is_nightly_build() \|\| allow_unstable \|\| gate.is_stable() { Some(feature) } else { None }`
`388`	`388`	`},`
`389`	`389`	`)`
`390`	`390`	`.filter(\|_feature\| {`