// { dg-do link }
// { dg-options "-std=c++1z -fconcepts" }

// FIXME: What is this actually testing?

void f() requires true { }

int main() { }