syntax_data: {"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"Ok(NormalizationResult"}]}
source_snippet:             Ok(NormalizationResult { normalized_ty: answer.expect_type() })
context_before:             // Maybe change it to a Term later?
context_after:         },