qualified-id1.c

linux下编程用 编译软件

// { dg-do compile }

// Copyright (C) 2003 Free Software Foundation, Inc.
// Contributed by Nathan Sidwell 4 Sep 2003 <[e-mail]>
// Origin Volker Reichelt [e-mail]

// 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|if a type is meant" "" }
}

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