syntax_data: {"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"infcx.tcx.def_span(source_impl),"}]}
source_snippet:             infcx.tcx.def_span(source_impl),
context_before:         infcx.dcx().span_delayed_bug(
context_after:             format!("failed to fully normalize {source_trait_ref}"),