make Type{e} the default element type whenever e isa Type#46
Merged
nsajko merged 1 commit intoJuliaArrays:mainfrom Sep 19, 2025
nsajko:b
Merged
make Type{e} the default element type whenever e isa Type#46nsajko merged 1 commit intoJuliaArrays:mainfrom nsajko:b
Type{e} the default element type whenever e isa Type#46nsajko merged 1 commit intoJuliaArrays:mainfrom
nsajko:b