// PR c++/104622
// { dg-additional-options "-fpermissive" }

template<class T>
struct type_identity {
  typedef T type;
};

template<class T> void f(typename type_identity<T>::type*, T, int*);

int main() {
  const int p = 0;
  f(&p, 0, 0); // { dg-warning "invalid conversion" }
}