Rollup merge of #137600 - davidtwco:predicate-polarity-comment, r=fmease

type_ir: remove redundant part of comment This comment refers to a `PredicatePolarity::Reserved` which no longer exists.
rust-lang · Feb 25, 2025 · 65152e7 · 65152e7
2 parents 1511ccd + 86b53db
commit 65152e7
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/compiler/rustc_type_ir/src/predicate.rs b/compiler/rustc_type_ir/src/predicate.rs
@@ -131,8 +131,6 @@ pub struct TraitPredicate<I: Interner> {
     /// If polarity is Negative: we are proving that a negative impl of this trait
     /// exists. (Note that coherence also checks whether negative impls of supertraits
     /// exist via a series of predicates.)
-    ///
-    /// If polarity is Reserved: that's a bug.
     pub polarity: PredicatePolarity,
 }