diff options
| author | David Wood <david.wood2@arm.com> | 2025-02-03 16:41:38 +0000 |
|---|---|---|
| committer | David Wood <david.wood2@arm.com> | 2025-02-24 07:30:59 +0000 |
| commit | 86b53db3e618fb89df012748180144c3c586b6e0 (patch) | |
| tree | bc69ef1e5bcf45d557caf7d0474494c521fb4bab | |
| parent | ad27045c31a9f37ad7d44ca2a403de52d1a896d3 (diff) | |
| download | rust-86b53db3e618fb89df012748180144c3c586b6e0.tar.gz rust-86b53db3e618fb89df012748180144c3c586b6e0.zip | |
type_ir: remove redundant part of comment
This refers to a `PredicatePolarity::Reserved` which no longer exists.
| -rw-r--r-- | compiler/rustc_type_ir/src/predicate.rs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/compiler/rustc_type_ir/src/predicate.rs b/compiler/rustc_type_ir/src/predicate.rs index 51790b13ec7..46385ca3a6f 100644 --- 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, } |