1// PR c++/39425
2// { dg-do compile }
3
4class a {
5
6  template<unsigned int s>
7    struct _rec {
8      static const char size = _rec< (s >> 1) >::size;
9    };
10
11  template<>	// { dg-error "explicit" }
12  struct _rec <0> {
13    static const char size = 0;
14  };
15
16  static const unsigned int value = _rec < 1 >::size;
17
18} // { dg-error "after class definition" }
19