Skip to content

Commit ebab352

Browse files
committed
ToPredicate -> Upcast
1 parent 867084d commit ebab352

File tree

1 file changed

+4
-4
lines changed

1 file changed

+4
-4
lines changed

src/preempt_count/check.rs

+4-4
Original file line numberDiff line numberDiff line change
@@ -5,8 +5,8 @@ use rustc_middle::mir::interpret::{AllocId, ErrorHandled, GlobalAlloc, Scalar};
55
use rustc_middle::mir::{self, visit::Visitor as MirVisitor, Body, Location};
66
use rustc_middle::ty::adjustment::PointerCoercion;
77
use rustc_middle::ty::{
8-
self, GenericArgs, GenericParamDefKind, Instance, ParamEnv, ParamEnvAnd, ToPredicate, Ty,
9-
TyCtxt, TypeFoldable, TypeVisitableExt,
8+
self, GenericArgs, GenericParamDefKind, Instance, ParamEnv, ParamEnvAnd, Ty, TyCtxt,
9+
TypeFoldable, TypeVisitableExt, Upcast,
1010
};
1111
use rustc_span::Span;
1212

@@ -494,7 +494,7 @@ memoize!(
494494
assert!(!poly_trait_ref.has_escaping_bound_vars());
495495

496496
let mut visited = PredicateSet::new(cx.tcx);
497-
let predicate = poly_trait_ref.to_predicate(cx.tcx);
497+
let predicate = poly_trait_ref.upcast(cx.tcx);
498498
let mut stack: Vec<ty::PolyTraitRef<'tcx>> = vec![poly_trait_ref];
499499
visited.insert(predicate);
500500

@@ -508,7 +508,7 @@ memoize!(
508508
.as_trait_clause()
509509
});
510510
for supertrait in super_traits {
511-
if visited.insert(supertrait.to_predicate(cx.tcx)) {
511+
if visited.insert(supertrait.upcast(cx.tcx)) {
512512
let supertrait = supertrait.map_bound(|t| t.trait_ref);
513513
stack.push(supertrait);
514514
}

0 commit comments

Comments
 (0)