syntax_data: {"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"///"}]}
source_snippet: /// make any progress at all. This is to prevent cycles where we
context_before: /// inference variable, returns `None`, because we are not able to
context_after: /// say "?0 is WF if ?0 is WF".