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

[[]] [[]];

[[]] [[]] void
foo ()
{
  [[]] [[]];
}