syntax_data: {"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:     /// indicates that `self` refers to something at binding level `binder`
context_after:     fn add_bound_var(&mut self, binder: ty::DebruijnIndex) {