syntax_data: {"ast_node_type":"other","tokens":[{"end":62,"kind":"keyword","start":0,"text":"///"}]}
source_snippet: /// further WF obligations. However, if `arg` IS an unresolved
context_before: /// If `arg` contains unresolved inference variables, this may include
context_after: /// inference variable, returns `None`, because we are not able to