gcc/testsuite/g++.dg/template/pr39425.C

// PR c++/39425
// { dg-do compile }

class a {

  template<unsigned int s>
    struct _rec {
      static const char size = _rec< (s >> 1) >::size;
    };

  template<>	// { dg-error "explicit" }
  struct _rec <0> {
    static const char size = 0;
  };

  static const unsigned int value = _rec < 1 >::size;

} // { dg-error "after class definition" }