{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"(&ty::Adt(def_a,"}]}
        (&ty::Adt(def_a, args_a), &ty::Adt(def_b, args_b))
        (&ty::RawPtr(_, a_mutbl), &ty::RawPtr(_, b_mutbl)) if a_mutbl == b_mutbl => Ok(()),
            if def_a.is_struct() && def_b.is_struct() =>