[Bug c++/91286] invalid use of incomplete type depends on --enable-checking=release

[mpolacek at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91286

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|2019-07-29 00:00:00         |2019-08-01
                 CC|                            |mpolacek at gcc dot gnu.org
     Ever confirmed|0                           |1

--- Comment #1 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
template <typename, int> class a;
template <typename, int> class b;
template <typename, int, int, typename> class c;
template <long, typename> class m;
template <typename, typename> struct d;
template <typename, typename, typename, typename> class e;
template <long f, typename g, typename h>
struct d<m<f, g>, h> : d<m<1, g>, h> {};
template <typename, typename> class i;
template <typename j, typename k, typename h> struct d<const i<j, k>, h> {
  d<j, h> l;
  void n() {
    d<const i<m<0, b<c<int, 3, 1, int>, 1>>,
              e<a<int, 1>, m<1, b<c<int, 3, 0, int>, 0>>,
                m<1, b<c<int, 3, 0, int>, 0>>, int>>,
      int>();
  }
};