gcc/testsuite/g++.dg/cpp2a/concepts-pr84979.C

// { 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" }
}