We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
super_visit_with
visit_binder
1 parent 465d198 commit 28be201Copy full SHA for 28be201
compiler/rustc_infer/src/infer/opaque_types.rs
@@ -470,7 +470,7 @@ where
470
&mut self,
471
t: &ty::Binder<'tcx, T>,
472
) -> ControlFlow<Self::BreakTy> {
473
- t.as_ref().skip_binder().visit_with(self);
+ t.super_visit_with(self);
474
ControlFlow::CONTINUE
475
}
476
compiler/rustc_middle/src/ty/fold.rs
@@ -514,7 +514,7 @@ impl<'tcx> TyCtxt<'tcx> {
514
t: &Binder<'tcx, T>,
515
516
self.outer_index.shift_in(1);
517
- let result = t.as_ref().skip_binder().visit_with(self);
+ let result = t.super_visit_with(self);
518
self.outer_index.shift_out(1);
519
result
520
0 commit comments