syntax_data: {"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":"self.outer_exclusive_binder"}]}
source_snippet:         self.outer_exclusive_binder = self.outer_exclusive_binder.max(exclusive_binder);
context_before:     fn add_exclusive_binder(&mut self, exclusive_binder: ty::DebruijnIndex) {
context_after:     }