syntax_data: {"ast_node_type":"other","tokens":[{"end":89,"kind":"keyword","start":0,"text":"PolyTraitObligation,"}]}
source_snippet:     PolyTraitObligation, PredicateObligation, Selection, SelectionError, TraitObligation,
context_before:     ImplSource, ImplSourceUserDefinedData, Normalized, Obligation, ObligationCause,
context_after: };