From 0073959224978000742e3cfb02768194f062764d Mon Sep 17 00:00:00 2001
From: Stepan Koltsov <stepan.koltsov@jetbrains.com>
Date: Sat, 28 Apr 2012 17:43:52 +0400
Subject: [PATCH] intersection of empty types is widest possible type (Any?)

---
 .../frontend/src/org/jetbrains/jet/lang/types/TypeUtils.java  | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/compiler/frontend/src/org/jetbrains/jet/lang/types/TypeUtils.java b/compiler/frontend/src/org/jetbrains/jet/lang/types/TypeUtils.java
index f96d11a93ed..4099b7a2959 100644
--- a/compiler/frontend/src/org/jetbrains/jet/lang/types/TypeUtils.java
+++ b/compiler/frontend/src/org/jetbrains/jet/lang/types/TypeUtils.java
@@ -140,7 +140,9 @@ public class TypeUtils {
 
     @Nullable
     public static JetType intersect(@NotNull JetTypeChecker typeChecker, @NotNull Set<JetType> types) {
-        assert !types.isEmpty();
+        if (types.isEmpty()) {
+            return JetStandardClasses.getNullableAnyType();
+        }
 
         if (types.size() == 1) {
             return types.iterator().next();