syntax_data: {"ast_node_type":"other","tokens":[{"end":94,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:     /// branch corresponding to `Some`. To ensure we make progress, we always pick a test that
context_before:     /// @ 22)`, then we would have a resulting candidate of `((x.0 as Some).0 @ v, x.1 @ 22)` in the
context_after:     /// results in simplifying the first candidate.