From fc9719c537f0cf772d1a923f62e483afc24b13d2 Mon Sep 17 00:00:00 2001
From: Jeff Bezanson <jeff.bezanson@gmail.com>
Date: Fri, 19 Feb 2021 11:21:53 -0500
Subject: [PATCH] debug

---
 test/subtype.jl | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/test/subtype.jl b/test/subtype.jl
index 43c555d16b5fb..c8849d881addc 100644
--- 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)