{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"(&ty::Adt(adt_def_a,"}]}
        (&ty::Adt(adt_def_a, args_a), &ty::Adt(adt_def_b, args_b))
        }
            if adt_def_a.did() == adt_def_b.did() =>