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

fmease · web-flow · commit 65152e7724df · 2025-02-25T13:07:42.000+01:00
type_ir: remove redundant part of comment

This comment refers to a `PredicatePolarity::Reserved` which no longer exists.
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,
 }
 

Original file line number	Diff line number	Diff line change
`@@ -131,8 +131,6 @@ pub struct TraitPredicate<I: Interner> {`
`131`	`131`	`/// If polarity is Negative: we are proving that a negative impl of this trait`
`132`	`132`	`/// exists. (Note that coherence also checks whether negative impls of supertraits`
`133`	`133`	`/// exist via a series of predicates.)`
`134`		`- ///`
`135`		`- /// If polarity is Reserved: that's a bug.`
`136`	`134`	`pub polarity: PredicatePolarity,`
`137`	`135`	`}`
`138`	`136`