Searched refs:binder_index (Results 1 – 4 of 4) sorted by relevance
| /dports/lang/rust/rustc-1.58.1-src/compiler/rustc_infer/src/infer/canonical/ |
| H A D | canonicalizer.rs | 273 binder_index: ty::DebruijnIndex, field
285 self.binder_index.shift_in(1); in fold_binder()
287 self.binder_index.shift_out(1); in fold_binder()
294 if index >= self.binder_index { in fold_region()
372 if debruijn >= self.binder_index { in fold_ty()
438 if debruijn >= self.binder_index { in fold_const()
501 binder_index: ty::INNERMOST, in canonicalize()
609 let region = ty::ReLateBound(self.binder_index, br); in canonical_var_for_region()
624 self.tcx().mk_ty(ty::Bound(self.binder_index, var.into())) in canonicalize_ty_var()
644 val: ty::ConstKind::Bound(self.binder_index, var), in canonicalize_const_var()
|
| /dports/lang/rust/rustc-1.58.1-src/compiler/rustc_ty_utils/src/ |
| H A D | instance.rs | 26 binder_index: ty::DebruijnIndex, field
36 binder_index: ty::INNERMOST, in new()
65 self.binder_index.shift_in(1); in visit_binder()
67 self.binder_index.shift_out(1); in visit_binder()
72 if t.outer_exclusive_binder() < self.binder_index in visit_ty()
73 || !self.visited.insert((self.binder_index, t)) in visit_ty()
78 ty::Bound(debruijn, bound_ty) if debruijn == self.binder_index => { in visit_ty()
98 ty::ReLateBound(index, br) if *index == self.binder_index => { in visit_region()
|
| /dports/lang/rust/rustc-1.58.1-src/compiler/rustc_traits/src/chalk/ |
| H A D | lowering.rs | 840 binder_index: ty::DebruijnIndex, field
849 binder_index: ty::INNERMOST, in new()
865 self.binder_index.shift_in(1); in visit_binder()
867 self.binder_index.shift_out(1); in visit_binder()
931 binder_index: ty::DebruijnIndex, field
947 self.binder_index.shift_in(1); in fold_binder()
949 self.binder_index.shift_out(1); in fold_binder()
977 binder_index: ty::DebruijnIndex, field
988 binder_index: ty::INNERMOST, in new()
1003 self.binder_index.shift_in(1); in fold_binder()
[all …]
|
| /dports/lang/rust/rustc-1.58.1-src/compiler/rustc_middle/src/ty/ |
| H A D | fold.rs | 812 binder_index: ty::DebruijnIndex, field
822 binder_index: ty::INNERMOST, in new()
840 self.binder_index.shift_in(1); in visit_binder()
842 self.binder_index.shift_out(1); in visit_binder()
847 if t.outer_exclusive_binder < self.binder_index in visit_ty()
848 || !self.visited.insert((self.binder_index, t)) in visit_ty()
853 ty::Bound(debruijn, bound_ty) if debruijn == self.binder_index => { in visit_ty()
882 ty::ReLateBound(index, br) if *index == self.binder_index => { in visit_region()
|