syntax_data: {"ast_node_type":"function","tokens":[{"end":77,"kind":"keyword","start":0,"text":"fn"}]}
source_snippet:     fn add_exclusive_binder(&mut self, exclusive_binder: ty::DebruijnIndex) {
context_before:     /// binder internal to it
context_after:         self.outer_exclusive_binder = self.outer_exclusive_binder.max(exclusive_binder);