syntax_data: {"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"self.types_may_unify_inner(lhs,"}]}
source_snippet:         self.types_may_unify_inner(lhs, rhs, Self::STARTING_DEPTH)
context_before:     pub fn types_may_unify(self, lhs: I::Ty, rhs: I::Ty) -> bool {
context_after:     }