syntax_data: {"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":"///"}]}
source_snippet: /// say "?0 is WF if ?0 is WF".
context_before: /// make any progress at all. This is to prevent cycles where we
context_after: pub fn obligations<'tcx>(