From 6c50e1b2374d4663730332eafaca250b2bf1de26 Mon Sep 17 00:00:00 2001
From: Andrey Breslav <andrey.breslav@jetbrains.com>
Date: Tue, 24 Jun 2014 16:27:46 +0400
Subject: [PATCH] Render flexible types in debug mode

---
 .../org/jetbrains/jet/renderer/DescriptorRendererImpl.java    | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/core/descriptors/src/org/jetbrains/jet/renderer/DescriptorRendererImpl.java b/core/descriptors/src/org/jetbrains/jet/renderer/DescriptorRendererImpl.java
index 3c19831b9c6..a9f71d7a446 100644
--- a/core/descriptors/src/org/jetbrains/jet/renderer/DescriptorRendererImpl.java
+++ b/core/descriptors/src/org/jetbrains/jet/renderer/DescriptorRendererImpl.java
@@ -301,6 +301,10 @@ public class DescriptorRendererImpl implements DescriptorRenderer {
             }
             return "???";
         }
+        if (type instanceof FlexibleType && debugMode) {
+            FlexibleType flexibleType = (FlexibleType) type;
+            return "(" + renderType(flexibleType.getLowerBound()) + ".." + renderType(flexibleType.getUpperBound()) + ")";
+        }
         if (type instanceof LazyType && debugMode) {
             return type.toString();
         }