From 86d1581e9383231c1f4baeb525253936b3db82c1 Mon Sep 17 00:00:00 2001
From: AntonOresten <antonoresten@proton.me>
Date: Thu, 9 Apr 2026 13:52:53 +0000
Subject: [PATCH 1/2] Fix `Type` argument reconstruction in `@device_code_*`
 reflection

---
 src/compiler/driver.jl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/compiler/driver.jl b/src/compiler/driver.jl
index 7d36e070..4fab3449 100644
--- a/src/compiler/driver.jl
+++ b/src/compiler/driver.jl
@@ -224,7 +224,7 @@ function emit_structured!(cache::CacheView, mi::Core.MethodInstance;
             for i in eachindex(arg_types)
                 if const_argtypes[i+1] isa CC.Const
                     val = const_argtypes[i+1].val
-                    arg_types[i] = Constant{typeof(val), val}
+                    arg_types[i] = typeof(Constant(val))
                 end
             end
         end

From 843aebe1b0b43545cf2c417dcffc90737279df45 Mon Sep 17 00:00:00 2001
From: Tim Besard <tim.besard@gmail.com>
Date: Fri, 10 Apr 2026 09:43:28 +0200
Subject: [PATCH 2/2] Add a test.

---
 test/device/core.jl | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)

diff --git a/test/device/core.jl b/test/device/core.jl
index 95ca1438..5f9f3619 100644
--- a/test/device/core.jl
+++ b/test/device/core.jl
@@ -237,6 +237,29 @@ end # invalidations
     end
     @test Array(c2) ≈ Array(a) + Array(b)
 
+    # @device_code_tiled with Type argument
+    # Regression: compile hook reconstructed Constant{typeof(val), val} for Type
+    # arguments, producing Constant{DataType, T} instead of Constant{Type{T}, T}
+    # and failing with "requires a dispatch tuple, got non-concrete signature".
+    function reflect_type_vadd(a::ct.TileArray{Float32,1}, b::ct.TileArray{Float32,1},
+                               c::ct.TileArray{Float32,1}, ::Type{T}) where T
+        pid = ct.bid(1)
+        tile_a = ct.load(a, pid, (16,))
+        tile_b = ct.load(b, pid, (16,))
+        ct.store(c, pid, tile_a + tile_b + zeros(T, (16,)))
+        return
+    end
+
+    c3 = CUDA.zeros(Float32, n)
+    @test @filecheck begin
+        @check "entry @reflect_type_vadd"
+        @check "load_view"
+        @check "addf"
+        @check "store_view"
+        ct.@device_code_tiled ct.launch(reflect_type_vadd, cld(n, 16), a, b, c3, Float32)
+    end
+    @test Array(c3) ≈ Array(a) + Array(b)
+
     # @device_code_tiled with reduce subprogram
     # Regression: compile hook tried to compile the reduce combiner (e.g. +) as a
     # standalone entry, which cuda-tile-translate rejects.