Skip to content

Commit

Permalink
Add two broken tests to subtype.jl still failing
Browse files Browse the repository at this point in the history
  • Loading branch information
martinholters committed May 27, 2020
1 parent 1269161 commit 5aa5e82
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions test/subtype.jl
Original file line number Diff line number Diff line change
Expand Up @@ -1362,11 +1362,14 @@ end
@test Vector{Tuple{Any}}() isa Vector{Tuple{>:Int}}
@test Vector{Tuple{>:Int}}() isa Vector{Tuple{Any}}
@test Vector{Tuple{Any}} == Vector{Tuple{>:Int}}
@test_broken Vector{Vector{Tuple{Any}}} == Vector{Vector{Tuple{>:Int}}}
f25430(t::Vector{Tuple{Any}}) = true
g25430(t::Vector{Tuple{>:Int}}) = true
@test f25430(Vector{Tuple{>:Int}}())
@test g25430(Vector{Tuple{Any}}())
@testintersect(Vector{Tuple{>:Int}}, Vector{Tuple{Any}}, Vector{Tuple{Any}})
# @testintersect(Vector{Vector{Tuple{>:Int}}}, Vector{Vector{Tuple{Any}}}, Vector{Vector{Tuple{Any}}})
@test_broken typeintersect(Vector{Vector{Tuple{>:Int}}}, Vector{Vector{Tuple{Any}}}) == Vector{Vector{Tuple{Any}}}

# issue #24521
g24521(::T, ::T) where {T} = T
Expand Down

0 comments on commit 5aa5e82

Please sign in to comment.