// { dg-do compile { target c++11 } }
// { dg-options "-fconcepts" }

template<typename> void foo() {}

void bar()
{
  foo<auto>(); // { dg-error "not permitted|invalid|no matching function" }
}