syntax_data: {"ast_node_type":"other","tokens":[{"end":29,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:     /// binder internal to it
context_before:     /// level `binder` -- not bound by `binder`, but bound by the next
context_after:     fn add_exclusive_binder(&mut self, exclusive_binder: ty::DebruijnIndex) {