target_features: explain what exacty 'implied' means here

Author: RalfJung

compiler/rustc_codegen_llvm/src/llvm_util.rs

@@ -344,8 +344,13 @@ pub fn target_features(sess: &Session, allow_unstable: bool) -> Vec<Symbol> {
         })
     {
         if enabled {
+            // Also add all transitively implied features.
             features.extend(sess.target.implied_target_features(std::iter::once(feature)));
         } else {
+            // `!feature` implies `!other_feature` if `other_feature` (transitively) implies `feature`,
+            // i.e., if `other_feature` is a reverse dependency of `feature`.
+            // So we have to remove `other_feature`.
+
             // We don't care about the order in `features` since the only thing we use it for is the
             // `features.contains` below.
             #[allow(rustc::potential_query_instability)]

compiler/rustc_target/src/target_features.rs

@@ -92,6 +92,11 @@ impl Stability {
 //
 // Stabilizing a target feature requires t-lang approval.
 
+// If feature A "implies" feature B, then:
+// - when A gets enabled (via `-Ctarget-feature` or `#[target_feature]`), we also enable B
+// - when B gets disabled (via `-Ctarget-feature`), we also disable A
+//
+// Both of these are also applied transitively.
 type ImpliedFeatures = &'static [&'static str];
 
 const ARM_FEATURES: &[(&str, Stability, ImpliedFeatures)] = &[