From bfad9bd87f0c1eac54473b9c0b638fbfcba4fbc5 Mon Sep 17 00:00:00 2001
From: Mikhail Glukhikh <Mikhail.Glukhikh@jetbrains.com>
Date: Fri, 13 Nov 2015 19:14:11 +0300
Subject: [PATCH] More exact unnecessary not-null assertion message #KT-3688
 Fixed

---
 .../kotlin/types/expressions/BasicExpressionTypingVisitor.java  | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/frontend/src/org/jetbrains/kotlin/types/expressions/BasicExpressionTypingVisitor.java b/compiler/frontend/src/org/jetbrains/kotlin/types/expressions/BasicExpressionTypingVisitor.java
index b6bd1e73682..f4b6d6766b9 100644
--- a/compiler/frontend/src/org/jetbrains/kotlin/types/expressions/BasicExpressionTypingVisitor.java
+++ b/compiler/frontend/src/org/jetbrains/kotlin/types/expressions/BasicExpressionTypingVisitor.java
@@ -936,7 +936,7 @@ public class BasicExpressionTypingVisitor extends ExpressionTypingVisitor {
         }
         DataFlowInfo dataFlowInfo = baseTypeInfo.getDataFlowInfo();
         if (isKnownToBeNotNull(baseExpression, context) && !baseType.isError()) {
-            context.trace.report(UNNECESSARY_NOT_NULL_ASSERTION.on(operationSign, baseType));
+            context.trace.report(UNNECESSARY_NOT_NULL_ASSERTION.on(operationSign, TypeUtils.makeNotNullable(baseType)));
         }
         else {
             DataFlowValue value = createDataFlowValue(baseExpression, baseType, context);