Skip to content

Commit

Permalink
super_predicates_of is renamed
Browse files Browse the repository at this point in the history
  • Loading branch information
nbdd0121 committed Jul 1, 2024
1 parent 8138504 commit 4482a67
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/preempt_count/check.rs
Original file line number Diff line number Diff line change
Expand Up @@ -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, _)| {
Expand Down

0 comments on commit 4482a67

Please sign in to comment.