From 41f5a7c2b14ef0b6cf086dcb76d276e30460f058 Mon Sep 17 00:00:00 2001 From: Chad Scherrer Date: Sat, 6 May 2023 07:42:18 -0700 Subject: [PATCH] drop redundant type parameter --- src/promote_type.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/promote_type.jl b/src/promote_type.jl index 2caa749..241d77b 100644 --- a/src/promote_type.jl +++ b/src/promote_type.jl @@ -211,7 +211,7 @@ Base.promote_typejoin(::Type{Either{L, <:Any}}, ::Type{Either{L, <:Any}}) where Base.promote_typejoin(::Type{Either{L1, <:Any}}, ::Type{Either{L2, <:Any}}) where {L1, L2} = Either -Base.promote_typejoin(::Type{Either{<:Any, R}}, ::Type{Either{<:Any, R}}) where {L, R} = Either{<:Any, R} +Base.promote_typejoin(::Type{Either{<:Any, R}}, ::Type{Either{<:Any, R}}) where {R} = Either{<:Any, R} Base.promote_typejoin(::Type{Either{<:Any, R1}}, ::Type{Either{<:Any, R2}}) where {R1, R2} = Either