syntax_data: {"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"source_principal.def_id,"}]}
source_snippet:         source_principal.def_id,
context_before:     if tcx.instantiate_and_check_impossible_predicates((
context_after:         source_principal.args,