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


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

// { dg-do run }
#include <cassert>

template <typename T, int N>
int bar (T (&) [N]) { return 0; }

template <typename T, int N>
int bar (const T (&) [N]) { return 1; }

int
main ()
{
  const int s[2] = { 0 };
  assert (bar (s) == 1);
}