syntax_data: {"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":"ty::Closure(rhs_def_id,"}]}
source_snippet:                 ty::Closure(rhs_def_id, rhs_args) => {
context_before:             ty::Closure(lhs_def_id, lhs_args) => match rhs.kind() {
context_after:                     lhs_def_id == rhs_def_id && self.args_may_unify_inner(lhs_args, rhs_args, depth)