{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"debug_assert!(!ty.has_vars_bound_above(ty::INNERMOST));"}]}
                debug_assert!(!ty.has_vars_bound_above(ty::INNERMOST));
                let ty = self.delegate.replace_ty(bound_ty);
                ty::shift_vars(self.tcx, ty, self.current_index.as_u32())