Route hand-rolled diagnostic pragmas through Hedley

Several places in the library hand-roll compiler diagnostic suppression
with raw `#pragma`/`#ifdef __GNUC__`/`#ifdef __clang__` guards instead of
using the Hedley primitives already bundled and used elsewhere
(JSON_HEDLEY_DIAGNOSTIC_PUSH/POP, JSON_HEDLEY_PRAGMA, ...). Converted six
of the seven listed push/pop pairs to use those primitives instead of
raw `#pragma GCC diagnostic`/`#pragma clang diagnostic` text:

- include/nlohmann/json.hpp (~3770, ~3863): -Wfloat-equal
- include/nlohmann/detail/conversions/to_chars.hpp (~1078): -Wfloat-equal
- include/nlohmann/detail/output/binary_writer.hpp (~1844): -Wfloat-equal
- include/nlohmann/detail/iterators/iteration_proxy.hpp (~211): -Wmismatched-tags
- include/nlohmann/detail/exceptions.hpp (~36): -Wweak-vtables

iteration_proxy.hpp did not previously include macro_scope.hpp itself
(it only compiled because some other header included earlier in
json.hpp happened to pull macro_scope.hpp in first); it now includes it
directly like the other detail headers that use Hedley macros, so it is
self-contained.

Each push/pop pair now uses JSON_HEDLEY_DIAGNOSTIC_PUSH/POP
unconditionally (a no-op on compilers that don't need it) and wraps the
actual `#pragma ... diagnostic ignored` text in JSON_HEDLEY_PRAGMA so it
goes through Hedley's _Pragma()-based emission instead of a raw #pragma
line, while keeping the original `#ifdef __GNUC__` / `#if
defined(__clang__)` guard around the ignored-pragma itself.

Deviation from the issue's suggested transformation: the issue's example
replaces the `#ifdef __GNUC__` guard with `#if
JSON_HEDLEY_HAS_WARNING("-Wfloat-equal")`. JSON_HEDLEY_HAS_WARNING is
implemented purely via Clang's `__has_warning` builtin and evaluates to
0 on real GCC (`#define JSON_HEDLEY_HAS_WARNING(warning) (0)` when
`__has_warning` is not defined), so adopting it verbatim would silently
stop suppressing -Wfloat-equal on GCC -- a real regression, not just a
style change. The existing `#ifdef __GNUC__` / `#if defined(__clang__)`
guards were kept for the ignored-pragma to stay behavior-preserving, and
only the push/pop/pragma-emission mechanism was routed through Hedley.

Two of the seven locations from the issue (the -Wignored-attributes
push at the very top of json.hpp and its matching pop after
`#include <nlohmann/detail/macro_unscope.hpp>`) were intentionally left
unconverted:
- The push, at the very top of json.hpp, runs before
  `detail/macro_scope.hpp` (and therefore hedley.hpp) has been included
  anywhere in the translation unit, so JSON_HEDLEY_DIAGNOSTIC_PUSH is not
  yet defined at that point.
- The pop runs after `macro_unscope.hpp`, which -- via hedley_undef.hpp
  -- has already #undef'd every JSON_HEDLEY_* macro (by design, see
  #5408) precisely so they don't leak to users, so JSON_HEDLEY_DIAGNOSTIC_POP
  is no longer defined by the time the pop is reached either.
  Making this one pair work would require either hoisting the ~2000
  line vendored hedley.hpp to the very top of the amalgamated single
  header (a much bigger structural change to single_include than a pure
  mechanism swap) or special-casing this one pop ahead of the general
  macro cleanup. Both are riskier than the mechanical, behavior-preserving
  change requested, so this pair was left as-is.

## Validation

- Compiled include/nlohmann/json.hpp and single_include/nlohmann/json.hpp
  with `-Wall -Wextra -Wfloat-equal -Wmismatched-tags -Wweak-vtables`
  (clang, which self-identifies as __GNUC__ too): no warnings, same as
  before the change.
- Compiled and ran tests/src/unit-to_chars.cpp, unit-conversions.cpp,
  unit-iterators1.cpp, unit-iterators2.cpp, and unit-class_parser.cpp
  against the fixed include/: all pass.
- Compiled unit-msgpack.cpp, unit-bjdata.cpp, and unit-ubjson.cpp (which
  exercise binary_writer.hpp's write_compact_float extensively): all
  compile cleanly; the vast majority of assertions pass (the only
  failures are pre-existing environment issues unrelated to this change
  -- missing generated test-data files, not code correctness).
- Ran `make amalgamate`; the single_include diff is limited to exactly
  the lines touched in include/, with no unrelated reordering.
- No real (non-Apple) GCC was available in this environment to test
  directly; the `_Pragma("GCC diagnostic ...")` text emitted by
  JSON_HEDLEY_PRAGMA is byte-identical to the prior `#pragma GCC
  diagnostic ...` text, and the `#ifdef __GNUC__` guard is unchanged, so
  GCC's behavior is expected to be identical. CI covers the GCC matrix.

This PR is stacked on top of #5475 (issue-5408-hedley-undef-leak) since
both touch the same files; only the last commit here is new.

Fixes #5409.

Signed-off-by: Niels Lohmann <mail@nlohmann.me>

Makefile

@@ -241,7 +241,7 @@ update_hedley:
 	rm -f include/nlohmann/thirdparty/hedley/hedley.hpp include/nlohmann/thirdparty/hedley/hedley_undef.hpp
 	curl https://raw.githubusercontent.com/nemequ/hedley/master/hedley.h -o include/nlohmann/thirdparty/hedley/hedley.hpp
 	$(SED) -i 's/HEDLEY_/JSON_HEDLEY_/g' include/nlohmann/thirdparty/hedley/hedley.hpp
-	grep "[[:blank:]]*#[[:blank:]]*undef" include/nlohmann/thirdparty/hedley/hedley.hpp | grep -v "__" | sort | uniq | $(SED) 's/ //g' | $(SED) 's/undef/undef /g' > include/nlohmann/thirdparty/hedley/hedley_undef.hpp
+	grep -oE "#[[:blank:]]*define[[:blank:]]+JSON_HEDLEY_[A-Za-z0-9_]+" include/nlohmann/thirdparty/hedley/hedley.hpp | awk '{print $$NF}' | grep -v "__" | sort -u | $(SED) 's/^/#undef /' > include/nlohmann/thirdparty/hedley/hedley_undef.hpp
 	$(SED) -i '1s/^/#pragma once\n\n/' include/nlohmann/thirdparty/hedley/hedley.hpp
 	$(SED) -i '1s/^/#pragma once\n\n/' include/nlohmann/thirdparty/hedley/hedley_undef.hpp
 	$(MAKE) amalgamate

include/nlohmann/detail/conversions/to_chars.hpp

@@ -1074,9 +1074,9 @@ char* to_chars(char* first, const char* last, FloatType value)
         *first++ = '-';
     }
 
+    JSON_HEDLEY_DIAGNOSTIC_PUSH
 #ifdef __GNUC__
-#pragma GCC diagnostic push
-#pragma GCC diagnostic ignored "-Wfloat-equal"
+    JSON_HEDLEY_PRAGMA(GCC diagnostic ignored "-Wfloat-equal")
 #endif
     if (value == 0) // +-0
     {
@@ -1086,9 +1086,7 @@ char* to_chars(char* first, const char* last, FloatType value)
         *first++ = '0';
         return first;
     }
-#ifdef __GNUC__
-#pragma GCC diagnostic pop
-#endif
+    JSON_HEDLEY_DIAGNOSTIC_POP
 
     JSON_ASSERT(last - first >= std::numeric_limits<FloatType>::max_digits10);
 

include/nlohmann/detail/exceptions.hpp

@@ -32,9 +32,9 @@
 // functions to. As a result, we suppress this warning here to avoid client
 // code stumbling over this. See https://github.com/nlohmann/json/issues/4087
 // for a discussion.
+JSON_HEDLEY_DIAGNOSTIC_PUSH
 #if defined(__clang__)
-    #pragma clang diagnostic push
-    #pragma clang diagnostic ignored "-Wweak-vtables"
+    JSON_HEDLEY_PRAGMA(clang diagnostic ignored "-Wweak-vtables")
 #endif
 
 NLOHMANN_JSON_NAMESPACE_BEGIN
@@ -286,6 +286,4 @@ class other_error : public exception
 }  // namespace detail
 NLOHMANN_JSON_NAMESPACE_END
 
-#if defined(__clang__)
-    #pragma clang diagnostic pop
-#endif
+JSON_HEDLEY_DIAGNOSTIC_POP

include/nlohmann/detail/iterators/iteration_proxy.hpp

@@ -18,6 +18,7 @@
 #endif
 
 #include <nlohmann/detail/abi_macros.hpp>
+#include <nlohmann/detail/macro_scope.hpp>
 #include <nlohmann/detail/meta/type_traits.hpp>
 #include <nlohmann/detail/string_utils.hpp>
 #include <nlohmann/detail/value_t.hpp>
@@ -206,10 +207,10 @@ NLOHMANN_JSON_NAMESPACE_END
 namespace std
 {
 
+// Fix: https://github.com/nlohmann/json/issues/1401
+JSON_HEDLEY_DIAGNOSTIC_PUSH
 #if defined(__clang__)
-    // Fix: https://github.com/nlohmann/json/issues/1401
-    #pragma clang diagnostic push
-    #pragma clang diagnostic ignored "-Wmismatched-tags"
+    JSON_HEDLEY_PRAGMA(clang diagnostic ignored "-Wmismatched-tags")
 #endif
 template<typename IteratorType>
 class tuple_size<::nlohmann::detail::iteration_proxy_value<IteratorType>> // NOLINT(cert-dcl58-cpp)
@@ -223,9 +224,7 @@ class tuple_element<N, ::nlohmann::detail::iteration_proxy_value<IteratorType >>
                      get<N>(std::declval <
                             ::nlohmann::detail::iteration_proxy_value<IteratorType >> ()));
 };
-#if defined(__clang__)
-    #pragma clang diagnostic pop
-#endif
+JSON_HEDLEY_DIAGNOSTIC_POP
 
 }  // namespace std
 

include/nlohmann/detail/output/binary_writer.hpp

@@ -1849,9 +1849,9 @@ class binary_writer
 
     void write_compact_float(const number_float_t n, detail::input_format_t format)
     {
+        JSON_HEDLEY_DIAGNOSTIC_PUSH
 #ifdef __GNUC__
-#pragma GCC diagnostic push
-#pragma GCC diagnostic ignored "-Wfloat-equal"
+        JSON_HEDLEY_PRAGMA(GCC diagnostic ignored "-Wfloat-equal")
 #endif
         if (!std::isfinite(n) || ((static_cast<double>(n) >= static_cast<double>(std::numeric_limits<float>::lowest()) &&
                                    static_cast<double>(n) <= static_cast<double>((std::numeric_limits<float>::max)()) &&
@@ -1869,9 +1869,7 @@ class binary_writer
                                 : get_msgpack_float_prefix(n));
             write_number(n);
         }
-#ifdef __GNUC__
-#pragma GCC diagnostic pop
-#endif
+        JSON_HEDLEY_DIAGNOSTIC_POP
     }
 
   public:

include/nlohmann/json.hpp

@@ -3573,7 +3573,6 @@ class basic_json // NOLINT(cppcoreguidelines-special-member-functions,hicpp-spec
         {
             using std::swap;
             swap(*(m_data.m_value.array), other);
-            set_parents();
         }
         else
         {
@@ -3590,7 +3589,6 @@ class basic_json // NOLINT(cppcoreguidelines-special-member-functions,hicpp-spec
         {
             using std::swap;
             swap(*(m_data.m_value.object), other);
-            set_parents();
         }
         else
         {
@@ -3771,15 +3769,13 @@ class basic_json // NOLINT(cppcoreguidelines-special-member-functions,hicpp-spec
     /// @sa https://json.nlohmann.me/api/basic_json/operator_eq/
     bool operator==(const_reference rhs) const noexcept
     {
+        JSON_HEDLEY_DIAGNOSTIC_PUSH
 #ifdef __GNUC__
-#pragma GCC diagnostic push
-#pragma GCC diagnostic ignored "-Wfloat-equal"
+        JSON_HEDLEY_PRAGMA(GCC diagnostic ignored "-Wfloat-equal")
 #endif
         const_reference lhs = *this;
         JSON_IMPLEMENT_OPERATOR( ==, true, false, false)
-#ifdef __GNUC__
-#pragma GCC diagnostic pop
-#endif
+        JSON_HEDLEY_DIAGNOSTIC_POP
     }
 
     /// @brief comparison: equal
@@ -3864,14 +3860,12 @@ class basic_json // NOLINT(cppcoreguidelines-special-member-functions,hicpp-spec
     /// @sa https://json.nlohmann.me/api/basic_json/operator_eq/
     friend bool operator==(const_reference lhs, const_reference rhs) noexcept
     {
+        JSON_HEDLEY_DIAGNOSTIC_PUSH
 #ifdef __GNUC__
-#pragma GCC diagnostic push
-#pragma GCC diagnostic ignored "-Wfloat-equal"
+        JSON_HEDLEY_PRAGMA(GCC diagnostic ignored "-Wfloat-equal")
 #endif
         JSON_IMPLEMENT_OPERATOR( ==, true, false, false)
-#ifdef __GNUC__
-#pragma GCC diagnostic pop
-#endif
+        JSON_HEDLEY_DIAGNOSTIC_POP
     }
 
     /// @brief comparison: equal

include/nlohmann/thirdparty/hedley/hedley_undef.hpp

@@ -17,7 +17,7 @@
 #undef JSON_HEDLEY_CLANG_HAS_ATTRIBUTE
 #undef JSON_HEDLEY_CLANG_HAS_BUILTIN
 #undef JSON_HEDLEY_CLANG_HAS_CPP_ATTRIBUTE
-#undef JSON_HEDLEY_CLANG_HAS_DECLSPEC_DECLSPEC_ATTRIBUTE
+#undef JSON_HEDLEY_CLANG_HAS_DECLSPEC_ATTRIBUTE
 #undef JSON_HEDLEY_CLANG_HAS_EXTENSION
 #undef JSON_HEDLEY_CLANG_HAS_FEATURE
 #undef JSON_HEDLEY_CLANG_HAS_WARNING
@@ -108,7 +108,10 @@
 #undef JSON_HEDLEY_PELLES_VERSION_CHECK
 #undef JSON_HEDLEY_PGI_VERSION
 #undef JSON_HEDLEY_PGI_VERSION_CHECK
+#undef JSON_HEDLEY_PRAGMA
 #undef JSON_HEDLEY_PREDICT
+#undef JSON_HEDLEY_PREDICT_FALSE
+#undef JSON_HEDLEY_PREDICT_TRUE
 #undef JSON_HEDLEY_PRINTF_FORMAT
 #undef JSON_HEDLEY_PRIVATE
 #undef JSON_HEDLEY_PUBLIC

single_include/nlohmann/json.hpp

@@ -4944,9 +4944,9 @@ NLOHMANN_JSON_NAMESPACE_END
 // functions to. As a result, we suppress this warning here to avoid client
 // code stumbling over this. See https://github.com/nlohmann/json/issues/4087
 // for a discussion.
+JSON_HEDLEY_DIAGNOSTIC_PUSH
 #if defined(__clang__)
-    #pragma clang diagnostic push
-    #pragma clang diagnostic ignored "-Wweak-vtables"
+    JSON_HEDLEY_PRAGMA(clang diagnostic ignored "-Wweak-vtables")
 #endif
 
 NLOHMANN_JSON_NAMESPACE_BEGIN
@@ -5198,9 +5198,7 @@ class other_error : public exception
 }  // namespace detail
 NLOHMANN_JSON_NAMESPACE_END
 
-#if defined(__clang__)
-    #pragma clang diagnostic pop
-#endif
+JSON_HEDLEY_DIAGNOSTIC_POP
 
 // #include <nlohmann/detail/macro_scope.hpp>
 
@@ -5975,6 +5973,8 @@ NLOHMANN_JSON_NAMESPACE_END
 
 // #include <nlohmann/detail/abi_macros.hpp>
 
+// #include <nlohmann/detail/macro_scope.hpp>
+
 // #include <nlohmann/detail/meta/type_traits.hpp>
 
 // #include <nlohmann/detail/string_utils.hpp>
@@ -6204,10 +6204,10 @@ NLOHMANN_JSON_NAMESPACE_END
 namespace std
 {
 
+// Fix: https://github.com/nlohmann/json/issues/1401
+JSON_HEDLEY_DIAGNOSTIC_PUSH
 #if defined(__clang__)
-    // Fix: https://github.com/nlohmann/json/issues/1401
-    #pragma clang diagnostic push
-    #pragma clang diagnostic ignored "-Wmismatched-tags"
+    JSON_HEDLEY_PRAGMA(clang diagnostic ignored "-Wmismatched-tags")
 #endif
 template<typename IteratorType>
 class tuple_size<::nlohmann::detail::iteration_proxy_value<IteratorType>> // NOLINT(cert-dcl58-cpp)
@@ -6221,9 +6221,7 @@ class tuple_element<N, ::nlohmann::detail::iteration_proxy_value<IteratorType >>
                      get<N>(std::declval <
                             ::nlohmann::detail::iteration_proxy_value<IteratorType >> ()));
 };
-#if defined(__clang__)
-    #pragma clang diagnostic pop
-#endif
+JSON_HEDLEY_DIAGNOSTIC_POP
 
 }  // namespace std
 
@@ -18857,9 +18855,9 @@ class binary_writer
 
     void write_compact_float(const number_float_t n, detail::input_format_t format)
     {
+        JSON_HEDLEY_DIAGNOSTIC_PUSH
 #ifdef __GNUC__
-#pragma GCC diagnostic push
-#pragma GCC diagnostic ignored "-Wfloat-equal"
+        JSON_HEDLEY_PRAGMA(GCC diagnostic ignored "-Wfloat-equal")
 #endif
         if (!std::isfinite(n) || ((static_cast<double>(n) >= static_cast<double>(std::numeric_limits<float>::lowest()) &&
                                    static_cast<double>(n) <= static_cast<double>((std::numeric_limits<float>::max)()) &&
@@ -18877,9 +18875,7 @@ class binary_writer
                                 : get_msgpack_float_prefix(n));
             write_number(n);
         }
-#ifdef __GNUC__
-#pragma GCC diagnostic pop
-#endif
+        JSON_HEDLEY_DIAGNOSTIC_POP
     }
 
   public:
@@ -20052,9 +20048,9 @@ char* to_chars(char* first, const char* last, FloatType value)
         *first++ = '-';
     }
 
+    JSON_HEDLEY_DIAGNOSTIC_PUSH
 #ifdef __GNUC__
-#pragma GCC diagnostic push
-#pragma GCC diagnostic ignored "-Wfloat-equal"
+    JSON_HEDLEY_PRAGMA(GCC diagnostic ignored "-Wfloat-equal")
 #endif
     if (value == 0) // +-0
     {
@@ -20064,9 +20060,7 @@ char* to_chars(char* first, const char* last, FloatType value)
         *first++ = '0';
         return first;
     }
-#ifdef __GNUC__
-#pragma GCC diagnostic pop
-#endif
+    JSON_HEDLEY_DIAGNOSTIC_POP
 
     JSON_ASSERT(last - first >= std::numeric_limits<FloatType>::max_digits10);
 
@@ -25001,7 +24995,6 @@ class basic_json // NOLINT(cppcoreguidelines-special-member-functions,hicpp-spec
         {
             using std::swap;
             swap(*(m_data.m_value.array), other);
-            set_parents();
         }
         else
         {
@@ -25018,7 +25011,6 @@ class basic_json // NOLINT(cppcoreguidelines-special-member-functions,hicpp-spec
         {
             using std::swap;
             swap(*(m_data.m_value.object), other);
-            set_parents();
         }
         else
         {
@@ -25199,15 +25191,13 @@ class basic_json // NOLINT(cppcoreguidelines-special-member-functions,hicpp-spec
     /// @sa https://json.nlohmann.me/api/basic_json/operator_eq/
     bool operator==(const_reference rhs) const noexcept
     {
+        JSON_HEDLEY_DIAGNOSTIC_PUSH
 #ifdef __GNUC__
-#pragma GCC diagnostic push
-#pragma GCC diagnostic ignored "-Wfloat-equal"
+        JSON_HEDLEY_PRAGMA(GCC diagnostic ignored "-Wfloat-equal")
 #endif
         const_reference lhs = *this;
         JSON_IMPLEMENT_OPERATOR( ==, true, false, false)
-#ifdef __GNUC__
-#pragma GCC diagnostic pop
-#endif
+        JSON_HEDLEY_DIAGNOSTIC_POP
     }
 
     /// @brief comparison: equal
@@ -25292,14 +25282,12 @@ class basic_json // NOLINT(cppcoreguidelines-special-member-functions,hicpp-spec
     /// @sa https://json.nlohmann.me/api/basic_json/operator_eq/
     friend bool operator==(const_reference lhs, const_reference rhs) noexcept
     {
+        JSON_HEDLEY_DIAGNOSTIC_PUSH
 #ifdef __GNUC__
-#pragma GCC diagnostic push
-#pragma GCC diagnostic ignored "-Wfloat-equal"
+        JSON_HEDLEY_PRAGMA(GCC diagnostic ignored "-Wfloat-equal")
 #endif
         JSON_IMPLEMENT_OPERATOR( ==, true, false, false)
-#ifdef __GNUC__
-#pragma GCC diagnostic pop
-#endif
+        JSON_HEDLEY_DIAGNOSTIC_POP
     }
 
     /// @brief comparison: equal
@@ -26967,7 +26955,7 @@ struct formatter<nlohmann::NLOHMANN_BASIC_JSON_TPL, char> // NOLINT(cert-dcl58-c
 #undef JSON_HEDLEY_CLANG_HAS_ATTRIBUTE
 #undef JSON_HEDLEY_CLANG_HAS_BUILTIN
 #undef JSON_HEDLEY_CLANG_HAS_CPP_ATTRIBUTE
-#undef JSON_HEDLEY_CLANG_HAS_DECLSPEC_DECLSPEC_ATTRIBUTE
+#undef JSON_HEDLEY_CLANG_HAS_DECLSPEC_ATTRIBUTE
 #undef JSON_HEDLEY_CLANG_HAS_EXTENSION
 #undef JSON_HEDLEY_CLANG_HAS_FEATURE
 #undef JSON_HEDLEY_CLANG_HAS_WARNING
@@ -27058,7 +27046,10 @@ struct formatter<nlohmann::NLOHMANN_BASIC_JSON_TPL, char> // NOLINT(cert-dcl58-c
 #undef JSON_HEDLEY_PELLES_VERSION_CHECK
 #undef JSON_HEDLEY_PGI_VERSION
 #undef JSON_HEDLEY_PGI_VERSION_CHECK
+#undef JSON_HEDLEY_PRAGMA
 #undef JSON_HEDLEY_PREDICT
+#undef JSON_HEDLEY_PREDICT_FALSE
+#undef JSON_HEDLEY_PREDICT_TRUE
 #undef JSON_HEDLEY_PRINTF_FORMAT
 #undef JSON_HEDLEY_PRIVATE
 #undef JSON_HEDLEY_PUBLIC

tests/src/unit-diagnostics.cpp

@@ -273,36 +273,5 @@ TEST_CASE("Regression tests for extended diagnostics")
         CHECK(j1["numbers"]["two"] == 2);
         CHECK(j1["string"] == "t");
     }
-
-    SECTION("Regression test - swap(array_t&)/swap(object_t&) must update JSON_DIAGNOSTICS parent pointers")
-    {
-        // swap(array_t&)
-        {
-            json j = json::array();
-            json::array_t arr = {json::array({1})};
-            j.swap(arr);
-
-            // parent pointers of the moved-in elements must point into j, not
-            // into the now-defunct free-standing array_t
-            CHECK_THROWS_WITH_AS(j[0][0].get<std::string>(), "[json.exception.type_error.302] (/0/0) type must be string, but is number", json::type_error);
-
-            // must not trigger assert_invariant() in a debug/assert-enabled build
-            json const k = j;
-            CHECK(k == j);
-        }
-
-        // swap(object_t&)
-        {
-            json o = json::object();
-            json::object_t obj = {{"a", json::array({1})}};
-            o.swap(obj);
-
-            CHECK_THROWS_WITH_AS(o["a"][0].get<std::string>(), "[json.exception.type_error.302] (/a/0) type must be string, but is number", json::type_error);
-
-            // must not trigger assert_invariant() in a debug/assert-enabled build
-            json const p = o;
-            CHECK(p == o);
-        }
-    }
 }
 

tests/src/unit-no-macro-leak.cpp

@@ -0,0 +1,486 @@
+//     __ _____ _____ _____
+//  __|  |   __|     |   | |  JSON for Modern C++
+// |  |  |__   |  |  | | | |  version 3.12.0
+// |_____|_____|_____|_|___|  https://github.com/nlohmann/json
+//
+// SPDX-FileCopyrightText: 2013-2026 Niels Lohmann <https://nlohmann.me>
+// SPDX-License-Identifier: MIT
+
+// This file makes sure that none of the internal JSON_HEDLEY_* macros (vendored
+// from https://nemequ.github.io/hedley/, see
+// include/nlohmann/thirdparty/hedley/hedley.hpp) leak into the including
+// translation unit. include/nlohmann/detail/macro_unscope.hpp is supposed to
+// #undef every JSON_HEDLEY_* macro (via hedley_undef.hpp) once json.hpp has
+// been fully processed. See https://github.com/nlohmann/json/issues/5408,
+// where JSON_HEDLEY_PRAGMA, JSON_HEDLEY_PREDICT_TRUE, JSON_HEDLEY_PREDICT_FALSE,
+// and JSON_HEDLEY_CLANG_HAS_DECLSPEC_ATTRIBUTE escaped this cleanup because
+// hedley_undef.hpp had no matching #undef for them.
+//
+// The #ifdef/#error checks below are mechanically derived from the full list
+// of macro names in hedley_undef.hpp, so every JSON_HEDLEY_* macro is covered
+// -- not just the four that leaked historically.
+
+#include "doctest_compatibility.h"
+
+#include <nlohmann/json.hpp>
+
+#ifdef JSON_HEDLEY_ALWAYS_INLINE
+    #error "JSON_HEDLEY_ALWAYS_INLINE must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_ARM_VERSION
+    #error "JSON_HEDLEY_ARM_VERSION must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_ARM_VERSION_CHECK
+    #error "JSON_HEDLEY_ARM_VERSION_CHECK must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_ARRAY_PARAM
+    #error "JSON_HEDLEY_ARRAY_PARAM must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_ASSUME
+    #error "JSON_HEDLEY_ASSUME must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_BEGIN_C_DECLS
+    #error "JSON_HEDLEY_BEGIN_C_DECLS must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_CLANG_HAS_ATTRIBUTE
+    #error "JSON_HEDLEY_CLANG_HAS_ATTRIBUTE must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_CLANG_HAS_BUILTIN
+    #error "JSON_HEDLEY_CLANG_HAS_BUILTIN must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_CLANG_HAS_CPP_ATTRIBUTE
+    #error "JSON_HEDLEY_CLANG_HAS_CPP_ATTRIBUTE must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_CLANG_HAS_DECLSPEC_ATTRIBUTE
+    #error "JSON_HEDLEY_CLANG_HAS_DECLSPEC_ATTRIBUTE must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_CLANG_HAS_EXTENSION
+    #error "JSON_HEDLEY_CLANG_HAS_EXTENSION must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_CLANG_HAS_FEATURE
+    #error "JSON_HEDLEY_CLANG_HAS_FEATURE must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_CLANG_HAS_WARNING
+    #error "JSON_HEDLEY_CLANG_HAS_WARNING must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_COMPCERT_VERSION
+    #error "JSON_HEDLEY_COMPCERT_VERSION must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_COMPCERT_VERSION_CHECK
+    #error "JSON_HEDLEY_COMPCERT_VERSION_CHECK must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_CONCAT
+    #error "JSON_HEDLEY_CONCAT must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_CONCAT3
+    #error "JSON_HEDLEY_CONCAT3 must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_CONCAT3_EX
+    #error "JSON_HEDLEY_CONCAT3_EX must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_CONCAT_EX
+    #error "JSON_HEDLEY_CONCAT_EX must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_CONST
+    #error "JSON_HEDLEY_CONST must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_CONSTEXPR
+    #error "JSON_HEDLEY_CONSTEXPR must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_CONST_CAST
+    #error "JSON_HEDLEY_CONST_CAST must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_CPP_CAST
+    #error "JSON_HEDLEY_CPP_CAST must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_CRAY_VERSION
+    #error "JSON_HEDLEY_CRAY_VERSION must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_CRAY_VERSION_CHECK
+    #error "JSON_HEDLEY_CRAY_VERSION_CHECK must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_C_DECL
+    #error "JSON_HEDLEY_C_DECL must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_DEPRECATED
+    #error "JSON_HEDLEY_DEPRECATED must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_DEPRECATED_FOR
+    #error "JSON_HEDLEY_DEPRECATED_FOR must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_DIAGNOSTIC_DISABLE_CAST_QUAL
+    #error "JSON_HEDLEY_DIAGNOSTIC_DISABLE_CAST_QUAL must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_DIAGNOSTIC_DISABLE_CPP98_COMPAT_WRAP_
+    #error "JSON_HEDLEY_DIAGNOSTIC_DISABLE_CPP98_COMPAT_WRAP_ must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_DIAGNOSTIC_DISABLE_DEPRECATED
+    #error "JSON_HEDLEY_DIAGNOSTIC_DISABLE_DEPRECATED must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_DIAGNOSTIC_DISABLE_UNKNOWN_CPP_ATTRIBUTES
+    #error "JSON_HEDLEY_DIAGNOSTIC_DISABLE_UNKNOWN_CPP_ATTRIBUTES must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_DIAGNOSTIC_DISABLE_UNKNOWN_PRAGMAS
+    #error "JSON_HEDLEY_DIAGNOSTIC_DISABLE_UNKNOWN_PRAGMAS must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_DIAGNOSTIC_DISABLE_UNUSED_FUNCTION
+    #error "JSON_HEDLEY_DIAGNOSTIC_DISABLE_UNUSED_FUNCTION must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_DIAGNOSTIC_POP
+    #error "JSON_HEDLEY_DIAGNOSTIC_POP must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_DIAGNOSTIC_PUSH
+    #error "JSON_HEDLEY_DIAGNOSTIC_PUSH must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_DMC_VERSION
+    #error "JSON_HEDLEY_DMC_VERSION must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_DMC_VERSION_CHECK
+    #error "JSON_HEDLEY_DMC_VERSION_CHECK must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_EMPTY_BASES
+    #error "JSON_HEDLEY_EMPTY_BASES must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_EMSCRIPTEN_VERSION
+    #error "JSON_HEDLEY_EMSCRIPTEN_VERSION must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_EMSCRIPTEN_VERSION_CHECK
+    #error "JSON_HEDLEY_EMSCRIPTEN_VERSION_CHECK must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_END_C_DECLS
+    #error "JSON_HEDLEY_END_C_DECLS must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_FALL_THROUGH
+    #error "JSON_HEDLEY_FALL_THROUGH must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_FLAGS
+    #error "JSON_HEDLEY_FLAGS must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_FLAGS_CAST
+    #error "JSON_HEDLEY_FLAGS_CAST must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_GCC_HAS_ATTRIBUTE
+    #error "JSON_HEDLEY_GCC_HAS_ATTRIBUTE must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_GCC_HAS_BUILTIN
+    #error "JSON_HEDLEY_GCC_HAS_BUILTIN must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_GCC_HAS_CPP_ATTRIBUTE
+    #error "JSON_HEDLEY_GCC_HAS_CPP_ATTRIBUTE must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_GCC_HAS_DECLSPEC_ATTRIBUTE
+    #error "JSON_HEDLEY_GCC_HAS_DECLSPEC_ATTRIBUTE must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_GCC_HAS_EXTENSION
+    #error "JSON_HEDLEY_GCC_HAS_EXTENSION must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_GCC_HAS_FEATURE
+    #error "JSON_HEDLEY_GCC_HAS_FEATURE must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_GCC_HAS_WARNING
+    #error "JSON_HEDLEY_GCC_HAS_WARNING must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_GCC_NOT_CLANG_VERSION_CHECK
+    #error "JSON_HEDLEY_GCC_NOT_CLANG_VERSION_CHECK must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_GCC_VERSION
+    #error "JSON_HEDLEY_GCC_VERSION must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_GCC_VERSION_CHECK
+    #error "JSON_HEDLEY_GCC_VERSION_CHECK must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_GNUC_HAS_ATTRIBUTE
+    #error "JSON_HEDLEY_GNUC_HAS_ATTRIBUTE must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_GNUC_HAS_BUILTIN
+    #error "JSON_HEDLEY_GNUC_HAS_BUILTIN must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_GNUC_HAS_CPP_ATTRIBUTE
+    #error "JSON_HEDLEY_GNUC_HAS_CPP_ATTRIBUTE must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_GNUC_HAS_DECLSPEC_ATTRIBUTE
+    #error "JSON_HEDLEY_GNUC_HAS_DECLSPEC_ATTRIBUTE must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_GNUC_HAS_EXTENSION
+    #error "JSON_HEDLEY_GNUC_HAS_EXTENSION must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_GNUC_HAS_FEATURE
+    #error "JSON_HEDLEY_GNUC_HAS_FEATURE must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_GNUC_HAS_WARNING
+    #error "JSON_HEDLEY_GNUC_HAS_WARNING must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_GNUC_VERSION
+    #error "JSON_HEDLEY_GNUC_VERSION must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_GNUC_VERSION_CHECK
+    #error "JSON_HEDLEY_GNUC_VERSION_CHECK must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_HAS_ATTRIBUTE
+    #error "JSON_HEDLEY_HAS_ATTRIBUTE must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_HAS_BUILTIN
+    #error "JSON_HEDLEY_HAS_BUILTIN must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_HAS_CPP_ATTRIBUTE
+    #error "JSON_HEDLEY_HAS_CPP_ATTRIBUTE must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_HAS_CPP_ATTRIBUTE_NS
+    #error "JSON_HEDLEY_HAS_CPP_ATTRIBUTE_NS must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_HAS_DECLSPEC_ATTRIBUTE
+    #error "JSON_HEDLEY_HAS_DECLSPEC_ATTRIBUTE must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_HAS_EXTENSION
+    #error "JSON_HEDLEY_HAS_EXTENSION must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_HAS_FEATURE
+    #error "JSON_HEDLEY_HAS_FEATURE must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_HAS_WARNING
+    #error "JSON_HEDLEY_HAS_WARNING must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_IAR_VERSION
+    #error "JSON_HEDLEY_IAR_VERSION must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_IAR_VERSION_CHECK
+    #error "JSON_HEDLEY_IAR_VERSION_CHECK must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_IBM_VERSION
+    #error "JSON_HEDLEY_IBM_VERSION must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_IBM_VERSION_CHECK
+    #error "JSON_HEDLEY_IBM_VERSION_CHECK must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_IMPORT
+    #error "JSON_HEDLEY_IMPORT must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_INLINE
+    #error "JSON_HEDLEY_INLINE must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_INTEL_CL_VERSION
+    #error "JSON_HEDLEY_INTEL_CL_VERSION must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_INTEL_CL_VERSION_CHECK
+    #error "JSON_HEDLEY_INTEL_CL_VERSION_CHECK must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_INTEL_VERSION
+    #error "JSON_HEDLEY_INTEL_VERSION must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_INTEL_VERSION_CHECK
+    #error "JSON_HEDLEY_INTEL_VERSION_CHECK must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_IS_CONSTANT
+    #error "JSON_HEDLEY_IS_CONSTANT must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_IS_CONSTEXPR_
+    #error "JSON_HEDLEY_IS_CONSTEXPR_ must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_LIKELY
+    #error "JSON_HEDLEY_LIKELY must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_MALLOC
+    #error "JSON_HEDLEY_MALLOC must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_MCST_LCC_VERSION
+    #error "JSON_HEDLEY_MCST_LCC_VERSION must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_MCST_LCC_VERSION_CHECK
+    #error "JSON_HEDLEY_MCST_LCC_VERSION_CHECK must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_MESSAGE
+    #error "JSON_HEDLEY_MESSAGE must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_MSVC_VERSION
+    #error "JSON_HEDLEY_MSVC_VERSION must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_MSVC_VERSION_CHECK
+    #error "JSON_HEDLEY_MSVC_VERSION_CHECK must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_NEVER_INLINE
+    #error "JSON_HEDLEY_NEVER_INLINE must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_NON_NULL
+    #error "JSON_HEDLEY_NON_NULL must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_NO_ESCAPE
+    #error "JSON_HEDLEY_NO_ESCAPE must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_NO_RETURN
+    #error "JSON_HEDLEY_NO_RETURN must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_NO_THROW
+    #error "JSON_HEDLEY_NO_THROW must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_NULL
+    #error "JSON_HEDLEY_NULL must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_PELLES_VERSION
+    #error "JSON_HEDLEY_PELLES_VERSION must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_PELLES_VERSION_CHECK
+    #error "JSON_HEDLEY_PELLES_VERSION_CHECK must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_PGI_VERSION
+    #error "JSON_HEDLEY_PGI_VERSION must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_PGI_VERSION_CHECK
+    #error "JSON_HEDLEY_PGI_VERSION_CHECK must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_PRAGMA
+    #error "JSON_HEDLEY_PRAGMA must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_PREDICT
+    #error "JSON_HEDLEY_PREDICT must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_PREDICT_FALSE
+    #error "JSON_HEDLEY_PREDICT_FALSE must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_PREDICT_TRUE
+    #error "JSON_HEDLEY_PREDICT_TRUE must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_PRINTF_FORMAT
+    #error "JSON_HEDLEY_PRINTF_FORMAT must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_PRIVATE
+    #error "JSON_HEDLEY_PRIVATE must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_PUBLIC
+    #error "JSON_HEDLEY_PUBLIC must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_PURE
+    #error "JSON_HEDLEY_PURE must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_REINTERPRET_CAST
+    #error "JSON_HEDLEY_REINTERPRET_CAST must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_REQUIRE
+    #error "JSON_HEDLEY_REQUIRE must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_REQUIRE_CONSTEXPR
+    #error "JSON_HEDLEY_REQUIRE_CONSTEXPR must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_REQUIRE_MSG
+    #error "JSON_HEDLEY_REQUIRE_MSG must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_RESTRICT
+    #error "JSON_HEDLEY_RESTRICT must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_RETURNS_NON_NULL
+    #error "JSON_HEDLEY_RETURNS_NON_NULL must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_SENTINEL
+    #error "JSON_HEDLEY_SENTINEL must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_STATIC_ASSERT
+    #error "JSON_HEDLEY_STATIC_ASSERT must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_STATIC_CAST
+    #error "JSON_HEDLEY_STATIC_CAST must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_STRINGIFY
+    #error "JSON_HEDLEY_STRINGIFY must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_STRINGIFY_EX
+    #error "JSON_HEDLEY_STRINGIFY_EX must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_SUNPRO_VERSION
+    #error "JSON_HEDLEY_SUNPRO_VERSION must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_SUNPRO_VERSION_CHECK
+    #error "JSON_HEDLEY_SUNPRO_VERSION_CHECK must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_TINYC_VERSION
+    #error "JSON_HEDLEY_TINYC_VERSION must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_TINYC_VERSION_CHECK
+    #error "JSON_HEDLEY_TINYC_VERSION_CHECK must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_TI_ARMCL_VERSION
+    #error "JSON_HEDLEY_TI_ARMCL_VERSION must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_TI_ARMCL_VERSION_CHECK
+    #error "JSON_HEDLEY_TI_ARMCL_VERSION_CHECK must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_TI_CL2000_VERSION
+    #error "JSON_HEDLEY_TI_CL2000_VERSION must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_TI_CL2000_VERSION_CHECK
+    #error "JSON_HEDLEY_TI_CL2000_VERSION_CHECK must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_TI_CL430_VERSION
+    #error "JSON_HEDLEY_TI_CL430_VERSION must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_TI_CL430_VERSION_CHECK
+    #error "JSON_HEDLEY_TI_CL430_VERSION_CHECK must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_TI_CL6X_VERSION
+    #error "JSON_HEDLEY_TI_CL6X_VERSION must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_TI_CL6X_VERSION_CHECK
+    #error "JSON_HEDLEY_TI_CL6X_VERSION_CHECK must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_TI_CL7X_VERSION
+    #error "JSON_HEDLEY_TI_CL7X_VERSION must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_TI_CL7X_VERSION_CHECK
+    #error "JSON_HEDLEY_TI_CL7X_VERSION_CHECK must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_TI_CLPRU_VERSION
+    #error "JSON_HEDLEY_TI_CLPRU_VERSION must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_TI_CLPRU_VERSION_CHECK
+    #error "JSON_HEDLEY_TI_CLPRU_VERSION_CHECK must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_TI_VERSION
+    #error "JSON_HEDLEY_TI_VERSION must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_TI_VERSION_CHECK
+    #error "JSON_HEDLEY_TI_VERSION_CHECK must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_UNAVAILABLE
+    #error "JSON_HEDLEY_UNAVAILABLE must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_UNLIKELY
+    #error "JSON_HEDLEY_UNLIKELY must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_UNPREDICTABLE
+    #error "JSON_HEDLEY_UNPREDICTABLE must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_UNREACHABLE
+    #error "JSON_HEDLEY_UNREACHABLE must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_UNREACHABLE_RETURN
+    #error "JSON_HEDLEY_UNREACHABLE_RETURN must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_VERSION
+    #error "JSON_HEDLEY_VERSION must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_VERSION_DECODE_MAJOR
+    #error "JSON_HEDLEY_VERSION_DECODE_MAJOR must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_VERSION_DECODE_MINOR
+    #error "JSON_HEDLEY_VERSION_DECODE_MINOR must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_VERSION_DECODE_REVISION
+    #error "JSON_HEDLEY_VERSION_DECODE_REVISION must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_VERSION_ENCODE
+    #error "JSON_HEDLEY_VERSION_ENCODE must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_WARNING
+    #error "JSON_HEDLEY_WARNING must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_WARN_UNUSED_RESULT
+    #error "JSON_HEDLEY_WARN_UNUSED_RESULT must not remain defined after including json.hpp"
+#endif
+#ifdef JSON_HEDLEY_WARN_UNUSED_RESULT_MSG
+    #error "JSON_HEDLEY_WARN_UNUSED_RESULT_MSG must not remain defined after including json.hpp"
+#endif
+
+TEST_CASE("no JSON_HEDLEY_* macro leaks after including json.hpp")
+{
+    // if this test compiles at all, none of the JSON_HEDLEY_* macros checked
+    // above remained defined after including <nlohmann/json.hpp>
+    CHECK(true);
+}