syntax_data: {"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:         // increments the depth for us.
context_before:         // recursively reachable via `types_may_unify_inner` which already
context_after:         iter::zip(obligation_args.iter(), impl_args.iter()).all(|(obl, imp)| {