syntax_data: {"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"report_arm_reachability(&cx,"}]}
source_snippet:         report_arm_reachability(&cx, &report, false);
context_before:         // Report if the pattern is unreachable, which can only occur when the type is uninhabited.
context_after:         // If the list of witnesses is empty, the match is exhaustive, i.e. the `if let` pattern is