From 36979e793793cd956748cfc4aa98138093eb5ff2 Mon Sep 17 00:00:00 2001
From: Simon Ogorodnik <Simon.Ogorodnik@jetbrains.com>
Date: Fri, 15 Nov 2019 19:24:09 +0300
Subject: [PATCH] [FIR] Support ConeDefinitelyNotNullType in html dump

---
 .../dump/src/org/jetbrains/kotlin/fir/dump/HtmlFirDump.kt    | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/compiler/fir/dump/src/org/jetbrains/kotlin/fir/dump/HtmlFirDump.kt b/compiler/fir/dump/src/org/jetbrains/kotlin/fir/dump/HtmlFirDump.kt
index c4caabebc6c..7e5c6cd7d0a 100644
--- a/compiler/fir/dump/src/org/jetbrains/kotlin/fir/dump/HtmlFirDump.kt
+++ b/compiler/fir/dump/src/org/jetbrains/kotlin/fir/dump/HtmlFirDump.kt
@@ -735,7 +735,10 @@ class HtmlFirDump internal constructor(private var linkResolver: FirLinkResolver
             is ConeTypeVariableType -> resolved { +type.lookupTag.name.asString() }
             is ConeFlexibleType -> resolved { generate(type) }
             is ConeCapturedType -> inlineUnsupported(type)
-            is ConeDefinitelyNotNullType -> inlineUnsupported(type)
+            is ConeDefinitelyNotNullType -> resolved {
+                generate(type.original)
+                +"!!"
+            }
             is ConeIntersectionType -> resolved { generate(type) }
         }
         if (type.typeArguments.isNotEmpty()) {