syntax_data: {"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:         // that we know of, anyway. Note that in the case where there
context_before:         // If there are *NO* candidates, then there are no impls --
context_after:         // are unbound type variables within the obligation, it might