gcc/testsuite/g++.dg/template/qualified-id1.C


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27

// { dg-do compile }

// Copyright (C) 2003 Free Software Foundation, Inc.
// Contributed by Nathan Sidwell 4 Sep 2003 <nathan@codesourcery.com>
// Origin Volker Reichelt reichelt@igpm.rwth-aachen.de

// PR 11922

struct A
{
  template <bool> struct B;
  struct C;
};

template <> struct A::B<false> {};

template <typename T> void foo()
{
  T::C (); // { dg-error "parsed as a non-type|if a type is meant" }
  T::template B<false>(); // { dg-error "parsed as a non-type" "non-type" }
			  // { dg-message "if a type" "if a type" { target *-*-* } 20 }
}

void bar()
{
  foo<A>(); // { dg-message "instantiated" }
}