Mark unionall as fallback abi (#2416)

wsmoses · web-flow · commit bd607630f083 · 2025-05-26T13:01:51.000-05:00
diff --git a/src/compiler.jl b/src/compiler.jl
@@ -647,7 +647,7 @@ function create_recursive_stores(B::LLVM.IRBuilder, @nospecialize(Ty::DataType),
                 LLVM.Value[LLVM.ConstantInt(Int64(off))],
             )
             
-            fallback = Base.isabstracttype(Ty2) || Ty2 isa Union || Ty2 isa Symbol || Ty2 isa String
+            fallback = Base.isabstracttype(Ty2) || Ty2 isa Union || Ty2 isa Symbol || Ty2 isa String || Ty2 isa UnionAll
 
             @static if VERSION < v"1.11-"
                 fallback |= Ty2 <: Array

Original file line number	Diff line number	Diff line change
`@@ -647,7 +647,7 @@ function create_recursive_stores(B::LLVM.IRBuilder, @nospecialize(Ty::DataType),`
`647`	`647`	`LLVM.Value[LLVM.ConstantInt(Int64(off))],`
`648`	`648`	`)`
`649`	`649`
`650`		`- fallback = Base.isabstracttype(Ty2) \|\| Ty2 isa Union \|\| Ty2 isa Symbol \|\| Ty2 isa String`
	`650`	`+ fallback = Base.isabstracttype(Ty2) \|\| Ty2 isa Union \|\| Ty2 isa Symbol \|\| Ty2 isa String \|\| Ty2 isa UnionAll`
`651`	`651`
`652`	`652`	`@static if VERSION < v"1.11-"`
`653`	`653`	`fallback \|= Ty2 <: Array`