1 // RUN: %clang_cc1 -std=c++11 -verify %s -Wno-tautological-compare
2 
3 struct A {
4 };
5 
6 template <typename T>
f(int A::* pi,float A::* pf,int T::* pt,T A::* pu,T t)7 void f(int A::* pi, float A::* pf, int T::* pt, T A::* pu, T t) {
8   pi = pi;
9   pi = pf; // expected-error {{assigning to 'int A::*' from incompatible type 'float A::*'}}
10   pi = pt;
11   pi = pu;
12   pi = t;
13 }
14