syntax_data: {"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:             // invariants; retain all paths.
context_before:             // ...if safety is assumed, don't check if they carry safety
context_after:             dst.prune(&|_def| false)