syntax_data: {"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:     /// by subtracting the depth of a certain lifetime, from
context_before:     /// (binder addressing), to "true" de Bruijn indices,
context_after:     /// the innermost depth at its use site.