syntax_data: {"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:             // extension: `size_of(Src) <= size_of(Dst)`
context_before:         } else if src_state == self.src.accept {
context_after:             if let Some(dst_state_prime) = self.dst.get_uninit_edge_dst(dst_state) {