syntax_data: {"ast_node_type":"variable","tokens":[{"end":52,"kind":"keyword","start":0,"text":"let"}]}
source_snippet:         let exclusive_binder = binder.shifted_in(1);
context_before:     fn add_bound_var(&mut self, binder: ty::DebruijnIndex) {
context_after:         self.add_exclusive_binder(exclusive_binder);