syntax_data: {"ast_node_type":"other","tokens":[{"end":89,"kind":"keyword","start":0,"text":"PolyTraitObligation,"}]}
source_snippet:     PolyTraitObligation, PredicateObligation, Selection, SelectionError, SelectionResult,
context_before:     ImplDerivedCause, Normalized, Obligation, ObligationCause, ObligationCauseCode,
context_after:     TraitQueryMode, const_evaluatable, project, util, wf,