Searched refs:exclusive_binder (Results 1 – 1 of 1) sorted by relevance
49 let exclusive_binder = binder.shifted_in(1); in add_bound_var() localVariable50 self.add_exclusive_binder(exclusive_binder); in add_bound_var()56 fn add_exclusive_binder(&mut self, exclusive_binder: ty::DebruijnIndex) { in add_exclusive_binder()57 self.outer_exclusive_binder = self.outer_exclusive_binder.max(exclusive_binder); in add_exclusive_binder()