Acts/Utilities/Concepts.hpp

0001 // This file is part of the Acts project.
0002 //
0003 // Copyright (C) 2022 CERN for the benefit of the Acts project
0004 //
0005 // This Source Code Form is subject to the terms of the Mozilla Public
0006 // License, v. 2.0. If a copy of the MPL was not distributed with this
0007 // file, You can obtain one at http://mozilla.org/MPL/2.0/.
0008
0009 #pragma once
0010
0011 #if defined(__cpp_concepts)
0012
0013 #define ACTS_REQUIRES(x) requires(x)
0014 #define ACTS_CONCEPT(x) x
0015 #define ACTS_STATIC_CHECK_CONCEPT(check_concept, check_type) \
0016   static_assert(check_concept<check_type>,                   \
0017                 #check_type " does not fulfill " #check_concept)
0018
0019 #else
0020
0021 #define ACTS_REQUIRES(x)
0022 #define ACTS_CONCEPT(x) typename
0023 #define ACTS_STATIC_CHECK_CONCEPT(concept, type) \
0024   static_assert(true, "Dummy assertion")
0025
0026 #endif