syntax_data: {"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"visited:"}]}
source_snippet:     visited: SsoHashSet<(ty::DebruijnIndex, I::Ty)>,
context_before:     // different levels of binding, so this can't just be `Ty`.
context_after: }