diff --git a/AK/Variant.h b/AK/Variant.h
index 570a79f902..307c41a27e 100644
--- a/AK/Variant.h
+++ b/AK/Variant.h
@@ -217,6 +217,7 @@ using MergeAndDeduplicatePacks = InheritFromPacks<MakeIndexSequence<sizeof...(Ps
 namespace AK {
 
 struct Empty {
+    constexpr bool operator==(Empty const&) const = default;
 };
 
 template<typename T>
diff --git a/Tests/AK/TestVariant.cpp b/Tests/AK/TestVariant.cpp
index 0c191584e4..1e075758f6 100644
--- a/Tests/AK/TestVariant.cpp
+++ b/Tests/AK/TestVariant.cpp
@@ -273,3 +273,32 @@ TEST_CASE(type_list_specialization)
     EXPECT((IsSame<typename MyList::template Type<1>, int>));
     EXPECT((IsSame<typename MyList::template Type<2>, String>));
 }
+
+TEST_CASE(variant_equality)
+{
+    using MyVariant = Variant<Empty, int, float>;
+
+    {
+        MyVariant variant1 = 1;
+        MyVariant variant2 = 1;
+        EXPECT_EQ(variant1, variant2);
+    }
+
+    {
+        MyVariant variant1 = 1;
+        MyVariant variant2 = 1.5f;
+        EXPECT_NE(variant1, variant2);
+    }
+
+    {
+        MyVariant variant1 = 1;
+        MyVariant variant2;
+        EXPECT_NE(variant1, variant2);
+    }
+
+    {
+        MyVariant variant1;
+        MyVariant variant2;
+        EXPECT_EQ(variant1, variant2);
+    }
+}