gcc/testsuite/g++.dg/concepts/fn7.C

// { dg-do link { target c++14 } }
// { dg-options "-fconcepts-ts" }

void f() requires true { }

int main() { }