Searched refs:add_bound_var (Results 1 – 1 of 1) sorted by relevance
48 fn add_bound_var(&mut self, binder: ty::DebruijnIndex) { in add_bound_var() method139 self.add_bound_var(debruijn); in add_kind()282 self.add_bound_var(debruijn); in add_region()298 self.add_bound_var(debruijn); in add_const()