From 4482a67b50091f1af68e43b8537901b4ca10153c Mon Sep 17 00:00:00 2001
From: Gary Guo <gary@garyguo.net>
Date: Mon, 1 Jul 2024 11:33:15 +0100
Subject: [PATCH] super_predicates_of is renamed

---
 src/preempt_count/check.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/preempt_count/check.rs b/src/preempt_count/check.rs
index c811064..9f96b54 100644
--- a/src/preempt_count/check.rs
+++ b/src/preempt_count/check.rs
@@ -504,7 +504,7 @@ memoize!(
 
             while let Some(trait_ref) = stack.pop() {
                 let super_traits = cx
-                    .super_predicates_of(trait_ref.def_id())
+                    .explicit_super_predicates_of(trait_ref.def_id())
                     .predicates
                     .into_iter()
                     .filter_map(|(pred, _)| {