From c247979101be7fbe6fad413d2ef1df67fd93bbab Mon Sep 17 00:00:00 2001 From: AntonOresten Date: Fri, 29 May 2026 00:52:51 +0200 Subject: [PATCH 1/2] Fix unhandled `Vararg` --- src/compiler/transform/canonicalize.jl | 1 + 1 file changed, 1 insertion(+) diff --git a/src/compiler/transform/canonicalize.jl b/src/compiler/transform/canonicalize.jl index 577b41d5..071fd740 100644 --- a/src/compiler/transform/canonicalize.jl +++ b/src/compiler/transform/canonicalize.jl @@ -194,6 +194,7 @@ function promote_scalar_type(@nospecialize(T)) T <: Number && return Tile{T, Tuple{}} if T <: Tuple params = T.parameters + any(P -> P isa Core.TypeofVararg, params) && return nothing any_promoted = false new_params = map(params) do P P = CC.widenconst(P) From 7f1751ca7f788629fad48f44a38721074ea68188 Mon Sep 17 00:00:00 2001 From: AntonOresten Date: Wed, 3 Jun 2026 21:49:58 +0200 Subject: [PATCH 2/2] Update src/compiler/transform/canonicalize.jl Co-authored-by: Tim Besard --- src/compiler/transform/canonicalize.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/compiler/transform/canonicalize.jl b/src/compiler/transform/canonicalize.jl index 071fd740..d8871a3d 100644 --- a/src/compiler/transform/canonicalize.jl +++ b/src/compiler/transform/canonicalize.jl @@ -194,7 +194,7 @@ function promote_scalar_type(@nospecialize(T)) T <: Number && return Tile{T, Tuple{}} if T <: Tuple params = T.parameters - any(P -> P isa Core.TypeofVararg, params) && return nothing + any(Base.isvarargtype, params) && return nothing any_promoted = false new_params = map(params) do P P = CC.widenconst(P)