From 9e0034755688fc778e431b0998421a363d681deb Mon Sep 17 00:00:00 2001 From: Alessandro Ghedini Date: Mon, 20 Nov 2023 11:58:10 +0000 Subject: [PATCH] stream: update clippy lint name --- quiche/src/stream/mod.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/quiche/src/stream/mod.rs b/quiche/src/stream/mod.rs index 1267d43cc4..c272385125 100644 --- a/quiche/src/stream/mod.rs +++ b/quiche/src/stream/mod.rs @@ -784,7 +784,7 @@ impl Eq for StreamPriorityKey {} impl PartialOrd for StreamPriorityKey { // Priority ordering is complex, disable Clippy warning. - #[allow(clippy::incorrect_partial_ord_impl_on_ord_type)] + #[allow(clippy::non_canonical_partial_ord_impl)] fn partial_cmp(&self, other: &Self) -> Option { // Ignore priority if ID matches. if self.id == other.id {