promote_typeof is a Julia implementation detail

[nsajko]

StaticNumbers.jl/src/StaticNumbers.jl

Lines 132 to 137 in baae4ce

	# Promotion
	# We need to override promote and promote_typeof because they don't even call
	# promote_rule for all-same types.
	Base.promote(::ST, ys::ST...) where {ST <: Static{X}} where {X} = ntuple(i->X, static(1+length(ys)))
	Base.promote_type(::Type{ST}, ::Type{ST}) where {ST <: Static{X}} where {X} = typeof(X)
	Base.promote_typeof(::ST, ::ST...) where {ST <: Static{X}} where {X} = typeof(X)

I know this package is somewhat special, but, ideally, you'd try to make issues and/or PRs to upstream (Julia) instead of just silently using internal implementation details. Especially with the new changes coming in the upcoming release (Julia v1.11).

[nsajko]

Related: promote_type is not supposed to be overloaded, xref JuliaLang/julia#54138