syntax_data: {"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:             // Check the pattern for some things unrelated to exhaustiveness.
context_before:         } else {
context_after:             let refutable = if cx.refutable { Refutable } else { Irrefutable };