Home
last modified time | relevance | path

Searched refs:binders_passed (Results 1 – 1 of 1) sorted by relevance

/dports/lang/rust/rustc-1.58.1-src/compiler/rustc_middle/src/ty/
H A Dsubst.rs436 let mut folder = SubstFolder { tcx, substs, span, binders_passed: 0 }; in subst_spanned()
452 binders_passed: u32, field
464 self.binders_passed += 1; in fold_binder()
466 self.binders_passed -= 1; in fold_binder()
642 self.binders_passed, in shift_vars_through_binders()
646 if self.binders_passed == 0 || !val.has_escaping_bound_vars() { in shift_vars_through_binders()
650 let result = ty::fold::shift_vars(self.tcx(), val, self.binders_passed); in shift_vars_through_binders()
657 if self.binders_passed == 0 || !region.has_escaping_bound_vars() { in shift_region_through_binders()
660 ty::fold::shift_region(self.tcx, region, self.binders_passed) in shift_region_through_binders()