diff --git a/AK/Variant.h b/AK/Variant.h
index f757e2a3acd..dae5cd7272c 100644
--- a/AK/Variant.h
+++ b/AK/Variant.h
@@ -210,7 +210,11 @@ public:
     template<typename... NewTs>
     friend struct Variant;
 
-    Variant() = delete;
+    Variant() requires(!can_contain<Empty>()) = delete;
+    Variant() requires(can_contain<Empty>())
+        : Variant(Empty())
+    {
+    }
 
 #ifdef AK_HAS_CONDITIONALLY_TRIVIAL
     Variant(const Variant&) requires(!(IsCopyConstructible<Ts> && ...)) = delete;
diff --git a/Tests/AK/TestVariant.cpp b/Tests/AK/TestVariant.cpp
index 8175b695dab..f05c629022a 100644
--- a/Tests/AK/TestVariant.cpp
+++ b/Tests/AK/TestVariant.cpp
@@ -219,3 +219,10 @@ TEST_CASE(copy_assign)
         EXPECT_EQ(the_value.get<String>(), "Hello, world!");
     }
 }
+
+TEST_CASE(default_empty)
+{
+    Variant<Empty, int> my_variant;
+    EXPECT(my_variant.has<Empty>());
+    EXPECT(!my_variant.has<int>());
+}