The promote_rule with an Irrational{s} type and a Complex{Irrational{s}} type (where s is the same Symbol) gives a StackOverflowError. The intended type is probably Complex{Irrational{s}}, as demonstrated by swapping the arguments:
If the parameters are different (e.g. Irrational{:ℯ} with Complex{Irrational{:π}}), then there is no issue as it promotes to ComplexF64.
Julia version 1.9.2 installed on Windows 11 with the Julia installer https://julialang.org/downloads/
The
promote_rulewith anIrrational{s}type and aComplex{Irrational{s}}type (wheresis the sameSymbol) gives aStackOverflowError. The intended type is probablyComplex{Irrational{s}}, as demonstrated by swapping the arguments:If the parameters are different (e.g.
Irrational{:ℯ}withComplex{Irrational{:π}}), then there is no issue as it promotes toComplexF64.Julia version 1.9.2 installed on Windows 11 with the Julia installer https://julialang.org/downloads/