{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"ty::RawPtr(ty,"}]}
            ty::RawPtr(ty, mutbl) => (false, ty::TypeAndMut { ty, mutbl }),
            ty::Ref(_, ty, mutbl) => (true, ty::TypeAndMut { ty, mutbl }),
            _ => return self.unify(a, b),