From b2c83e99212d15adf93f4737ca885eb2ac56e192 Mon Sep 17 00:00:00 2001
From: Jonathan M Davis <jmdavis@jmdavisprog.com>
Date: Tue, 24 Dec 2024 17:40:34 -0700
Subject: [PATCH] Fix #20603.

hasIndirections does not take enums into account, whereas if an enum's
base type has indirections, then clearly, the enum type does as well.
---
 druntime/src/core/internal/traits.d | 56 ++++++++++++++++++++++++++++-
 1 file changed, 55 insertions(+), 1 deletion(-)

diff --git a/druntime/src/core/internal/traits.d b/druntime/src/core/internal/traits.d
index 3748bfab977..b1b29130eff 100644
--- a/druntime/src/core/internal/traits.d
+++ b/druntime/src/core/internal/traits.d
@@ -538,7 +538,9 @@ unittest
 
 template hasIndirections(T)
 {
-    static if (is(T == struct) || is(T == union))
+    static if (is(T == enum))
+        enum hasIndirections = hasIndirections!(OriginalType!T);
+    else static if (is(T == struct) || is(T == union))
         enum hasIndirections = anySatisfy!(.hasIndirections, typeof(T.tupleof));
     else static if (__traits(isAssociativeArray, T) || is(T == class) || is(T == interface))
         enum hasIndirections = true;
@@ -595,26 +597,78 @@ template hasIndirections(T)
     static interface I {}
     static assert( hasIndirections!I);
 
+    {
+        enum E : int { a }
+        static assert(!hasIndirections!E);
+    }
+    {
+        enum E : int* { a }
+        static assert( hasIndirections!E);
+    }
+    {
+        enum E : string { a = "" }
+        static assert( hasIndirections!E);
+    }
+    {
+        enum E : int[] { a = null }
+        static assert( hasIndirections!E);
+    }
+    {
+        enum E : int[3] { a = [1, 2, 3]  }
+        static assert(!hasIndirections!E);
+    }
+    {
+        enum E : int*[3] { a = [null, null, null] }
+        static assert( hasIndirections!E);
+    }
+    {
+        enum E : int*[0] { a = int*[0].init }
+        static assert(!hasIndirections!E);
+    }
+    {
+        enum E : C { a = null }
+        static assert( hasIndirections!E);
+    }
+    {
+        enum E : I { a = null }
+        static assert( hasIndirections!E);
+    }
+
     {
         static struct S {}
         static assert(!hasIndirections!S);
+
+        enum E : S { a = S.init }
+        static assert(!hasIndirections!S);
     }
     {
         static struct S { int i; }
         static assert(!hasIndirections!S);
+
+        enum E : S { a = S.init }
+        static assert(!hasIndirections!S);
     }
     {
         static struct S { C c; }
         static assert( hasIndirections!S);
+
+        enum E : S { a = S.init }
+        static assert( hasIndirections!S);
     }
     {
         static struct S { int[] arr; }
         static assert( hasIndirections!S);
+
+        enum E : S { a = S.init }
+        static assert( hasIndirections!S);
     }
     {
         int local;
         struct S { void foo() { ++local; } }
         static assert( hasIndirections!S);
+
+        enum E : S { a = S.init }
+        static assert( hasIndirections!S);
     }
 
     {