Add enum and primitive empty array attribute tests for #12796

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

Author: T-Gro

tests/FSharp.Compiler.ComponentTests/Language/AttributeCheckingTests.fs

@@ -207,3 +207,34 @@ type B = { [<DefaultValue([||] : A[])>] BField: A[] }
         |> asLibrary
         |> compile
         |> shouldSucceed
+
+    // https://github.com/dotnet/fsharp/issues/12796
+    [<Fact>]
+    let ``Issue 12796 - Empty array of enum type in attribute should succeed`` () =
+        FSharp
+            """
+module TestModule
+
+type MyEnum = A = 0 | B = 1
+type MyAttr(v: obj) = inherit System.Attribute()
+type T = { [<MyAttr([||] : MyEnum[])>] F: int }
+            """
+        |> asLibrary
+        |> compile
+        |> shouldSucceed
+
+    // https://github.com/dotnet/fsharp/issues/12796
+    [<Fact>]
+    let ``Issue 12796 - Empty array of primitive type in attribute should succeed`` () =
+        FSharp
+            """
+module TestModule
+
+type MyAttr(v: int[]) = inherit System.Attribute()
+type T = { [<MyAttr([||])>] F: int }
+            """
+        |> asLibrary
+        |> compile
+        |> shouldSucceed
+
+