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