From 928b2fa4af916a5f75d1269620914f7bb4225e6e Mon Sep 17 00:00:00 2001
From: johannst <johannst@users.noreply.github.com>
Date: Tue, 1 Aug 2023 21:36:44 +0000
Subject: deploy: e6cab7826a010b34670e825650167b0d975d5819

---
 print.html | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'print.html')

diff --git a/print.html b/print.html
index 331b940..f09b78b 100644
--- a/print.html
+++ b/print.html
@@ -3324,7 +3324,11 @@ struct option {
 
     constexpr T&amp; value() {
         assert(m_has_val);
-        return *reinterpret_cast&lt;T*&gt;(m_val);
+        // Placement new starts a new lifetime, launder pointer returned to the
+        // aligned storage.
+        //
+        // [1] https://en.cppreference.com/w/cpp/utility/launder
+        return *__builtin_launder(reinterpret_cast&lt;T*&gt;(m_val));
     }
 
   private:
-- 
cgit v1.2.3