From 5aa5e82ec742fae5b68db019fabac81866e4a799 Mon Sep 17 00:00:00 2001 From: Martin Holters Date: Mon, 29 Jan 2018 12:01:32 +0100 Subject: [PATCH] Add two broken tests to `subtype.jl` still failing --- test/subtype.jl | 3 +++ 1 file changed, 3 insertions(+) diff --git a/test/subtype.jl b/test/subtype.jl index 6ef4941b3c55a..6a546ad2b4dec 100644 --- a/test/subtype.jl +++ b/test/subtype.jl @@ -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