// PR c++/96555

template<class T, int i>
struct X;

template<class T>
struct X<T, sizeof(T)> {};

X<int, sizeof(int)> x1;
X<int, sizeof(int)+1> x2; // { dg-error "incomplete" }


struct A { int x; } a;
template<int, int> struct B;
template<int y>
struct B<y, sizeof(a.x)> { };

B<0, sizeof(int)> b1;
B<0, sizeof(int)+1> b2; // { dg-error "incomplete" }