syntax_data: {"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"ObligationCause::dummy_with_span(span),"}]}
source_snippet:                         ObligationCause::dummy_with_span(span),
context_before:                         tcx,
context_after:                         param_env,