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