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