syntax_data: {"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"Ok(NormalizationResult"}]}
source_snippet:             Ok(NormalizationResult { normalized_ty })
context_before:             let normalized_ty = tcx.type_of(goal.def_id).instantiate(tcx, goal.args);
context_after:         },