From 86b53db3e618fb89df012748180144c3c586b6e0 Mon Sep 17 00:00:00 2001 From: David Wood Date: Mon, 3 Feb 2025 16:41:38 +0000 Subject: [PATCH] type_ir: remove redundant part of comment This refers to a `PredicatePolarity::Reserved` which no longer exists. --- compiler/rustc_type_ir/src/predicate.rs | 2 -- 1 file changed, 2 deletions(-) diff --git a/compiler/rustc_type_ir/src/predicate.rs b/compiler/rustc_type_ir/src/predicate.rs index 51790b13ec776..46385ca3a6fdb 100644 --- a/compiler/rustc_type_ir/src/predicate.rs +++ b/compiler/rustc_type_ir/src/predicate.rs @@ -131,8 +131,6 @@ pub struct TraitPredicate { /// 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, }