cjdb / constexpr-contracts Goto Github PK

When pulling the project from conan as a dependency, running the test cases hangs. This is likely due to the fact that no code is emitted when a contract's predicate is false (and this means main doesn't even return).

It's possible to have CJDB_ASSERTS(f), where f is a function pointer or lambda. I've treated CJDB_ASSERT like an algorithm or std::invoke too many times to count, so it's probably best to force f to be of type bool to catch such issues.

Once std::format and constexpr std::string are supported by the implementation, move to those, and possibly even fmt::print.

clang-tidy doesn't seem to respect feature-test macros, but part of the design is done so that clang-tidy doesn't see through attempts to force a compile-time error (e.g. not using static_assert in the consteval function). This means that __cpp_lib_is_constant_evaluated can't be enabled till clang-tidy acknowledges that.

consteval doesn't have a feature-test macro at present.

libc++ doesn't support source_location yet. Once it does, move away from __FILE__ and __LINE__.

Prefer standard attributes over non-standard attributes.