// { dg-do compile { target c++14 } }
// { dg-additional-options -fconcepts }

template <class T> concept True = true;