From 09ccc958145b4171a049a016f4b2597ead088995 Mon Sep 17 00:00:00 2001
From: Jeremy <51220084+jeremy-rifkin@users.noreply.github.com>
Date: Mon, 11 Sep 2023 10:36:57 -0400
Subject: [PATCH] Fix lint

---
 src/platform/common.hpp | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/platform/common.hpp b/src/platform/common.hpp
index 0c6e2e9..dcab624 100644
--- a/src/platform/common.hpp
+++ b/src/platform/common.hpp
@@ -285,6 +285,8 @@ class optional {
     };
 
 public:
+    // clang-tidy false positive
+    // NOLINTNEXTLINE(modernize-use-equals-default)
     optional() noexcept {}
 
     optional(nullopt_t) noexcept {}
@@ -326,6 +328,8 @@ public:
         typename U = T,
         typename std::enable_if<!std::is_same<typename std::decay<U>::type, optional<T>>::value, int>::type = 0
     >
+    // clang-tidy false positive
+    // NOLINTNEXTLINE(bugprone-forwarding-reference-overload)
     optional(U&& value) : holds_value(true) {
         new (static_cast<void*>(std::addressof(uvalue))) T(std::forward<U>(value));
     }