diff options
Diffstat (limited to 'src/dotty/tools')
| -rw-r--r-- | src/dotty/tools/dotc/core/TypeComparers.scala | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/TypeComparers.scala b/src/dotty/tools/dotc/core/TypeComparers.scala index 4f5037c69..9d109b724 100644 --- a/src/dotty/tools/dotc/core/TypeComparers.scala +++ b/src/dotty/tools/dotc/core/TypeComparers.scala @@ -42,8 +42,10 @@ object TypeComparers { } def monitoredIsSubType(tp1: Type, tp2: Type) = { - if (pendingSubTypes == null) + if (pendingSubTypes == null) { pendingSubTypes = new mutable.HashSet[(Type, Type)] + ctx.log(s"!!! deep subtype recursion involving $tp1 <:< $tp2") + } val p = (tp1, tp2) !pendingSubTypes(p) && { try { |