view gcc/testsuite/g++.dg/template/pr65186.C @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children
line wrap: on
line source

// { dg-do compile { target c++11 } }
// PR c++/65186

template<typename A, A x, A y>
using Id = int;

template<
  typename A,
  A x,
  A y,
  Id<A, x, y> p,
  template<A a, A b, Id<A, a, b>> class C,
  C<x, x, x> // { dg-bogus "not a valid type" }
> using J = C<x, y, p>;


template<class A>
using Z = A;

template<
  template <class> class A,
  A<int> B // { dg-bogus "not a valid type" }
>
struct C { };

C<Z, 5> a;