syntax_data: {"ast_node_type":"other","tokens":[{"end":94,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:     /// This method begins by de-def'ing `src` and `dst`, and prunes private paths from `dst`,
context_before:     ///
context_after:     /// then converts `src` and `dst` to `Dfa`s, and computes an answer using those DFAs.