syntax_data: {"ast_node_type":"other","tokens":[{"end":17,"kind":"keyword","start":0,"text":"///"}]}
source_snippet: /// if `Bar: Eq`.
context_before: /// `trait Set<K: Eq>`, then the trait bound `Foo: Set<Bar>` is WF
context_after: pub fn trait_obligations<'tcx>(