debug

JuliaLang · May 26, 2021 · fc9719c · fc9719c
1 parent 397380c
commit fc9719c
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/test/subtype.jl b/test/subtype.jl
@@ -1062,11 +1062,24 @@ function test_intersection_properties()
         for S in menagerie
             I = _type_intersect(T,S)
             I2 = _type_intersect(S,T)
+            if !isequal_type(I, I2)
+                println("!isequal_type:")
+                @show T
+                @show S
+                @show I
+                @show I2
+            end
             @test isequal_type(I, I2)
             if I == approx
                 # TODO: some of these cases give a conservative answer
                 @test issub(I, T) || issub(I, S)
             else
+                if !(issub(I, T) && issub(I, S))
+                    println("!issub:")
+                    @show T
+                    @show S
+                    @show I
+                end
                 @test issub(I, T) && issub(I, S)
             end
             if issub(T, S)