From ead5219001a94707e70432a4bdeab54f881c5971 Mon Sep 17 00:00:00 2001
From: Svetlana Isakova <svetlana.isakova@jetbrains.com>
Date: Thu, 8 Aug 2013 17:38:26 +0400
Subject: [PATCH] assert added

---
 .../jet/lang/types/expressions/ExpressionTypingUtils.java     | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/compiler/frontend/src/org/jetbrains/jet/lang/types/expressions/ExpressionTypingUtils.java b/compiler/frontend/src/org/jetbrains/jet/lang/types/expressions/ExpressionTypingUtils.java
index b54c2194d9c..a6072d97e10 100644
--- a/compiler/frontend/src/org/jetbrains/jet/lang/types/expressions/ExpressionTypingUtils.java
+++ b/compiler/frontend/src/org/jetbrains/jet/lang/types/expressions/ExpressionTypingUtils.java
@@ -79,7 +79,9 @@ public class ExpressionTypingUtils {
 
     @NotNull
     protected static ExpressionReceiver safeGetExpressionReceiver(@NotNull ExpressionTypingFacade facade, @NotNull JetExpression expression, ExpressionTypingContext context) {
-        return new ExpressionReceiver(expression, facade.safeGetTypeInfo(expression, context).getType());
+        JetType type = facade.safeGetTypeInfo(expression, context).getType();
+        assert type != null : "safeGetTypeInfo should return @NotNull type";
+        return new ExpressionReceiver(expression, type);
     }
 
     @NotNull