syntax_data: {"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"///"}]}
source_snippet: /// If `arg` contains unresolved inference variables, this may include
context_before: /// Returns the set of obligations needed to make `arg` well-formed.
context_after: /// further WF obligations. However, if `arg` IS an unresolved