Skip to content

Commit

Permalink
fixup! fixup! some algorithm layout cleanup
Browse files Browse the repository at this point in the history
Correct test for some other improvement also now on master.
  • Loading branch information
vtjnash committed Apr 7, 2023
1 parent b76b7d0 commit 67e2297
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion test/subtype.jl
Original file line number Diff line number Diff line change
Expand Up @@ -2502,5 +2502,5 @@ let T = Tuple{Union{Type{T}, Type{S}}, Union{Val{T}, Val{S}}, Union{Val{T}, S}}
S = Tuple{Type{T}, T, Val{T}} where T<:(Val{S} where S<:Val)
# optimal = Union{}?
@test typeintersect(T, S) == Tuple{Type{T}, T, Val{T}} where T<:(Val{S} where S<:Val)
@test typeintersect(S, T) == Tuple{Union{Type{T}, Type{T1}}, Union{Val{T1}, Val{S1}, T}, Union{S, S1}} where {T<:(Val{S} where S<:Val), S<:Union{Val{T}, T}, T1<:Val, S1<:Val{T1}}
@test typeintersect(S, T) == Tuple{Union{Type{T}, Type{T1}}, Union{Val{T1}, Val{S1}, T}, Union{S, S1}} where {T<:(Val{S} where S<:Val), S<:Val{T}, T1<:Val, S1<:Val{T1}}
end

0 comments on commit 67e2297

Please sign in to comment.