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