syntax_data: {"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"result.push(a.to_string());"}]}
source_snippet:                 result.push(a.to_string());
context_before:             } else {
context_after:                 result.push(if ICE_REPORT_COMPILER_FLAGS_STRIP_VALUE.contains(&option) {