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

void f() requires true { }

int main() { }