syntax_data: {"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:     // we never recurse from this function.
context_before:     // Unlike `types_may_unify_inner`, this does not take a depth as
context_after:     fn consts_may_unify_inner(self, lhs: I::Const, rhs: I::Const) -> bool {