From 1562de1347a12dbb04f9268afc3c2a5159c85c7b Mon Sep 17 00:00:00 2001
From: Dmitry Jemerov <yole@jetbrains.com>
Date: Thu, 28 Apr 2011 12:49:56 +0200
Subject: [PATCH] map Nothing to void

---
 idea/src/org/jetbrains/jet/codegen/JetTypeMapper.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/idea/src/org/jetbrains/jet/codegen/JetTypeMapper.java b/idea/src/org/jetbrains/jet/codegen/JetTypeMapper.java
index a034e2abd97..2f2967804d5 100644
--- a/idea/src/org/jetbrains/jet/codegen/JetTypeMapper.java
+++ b/idea/src/org/jetbrains/jet/codegen/JetTypeMapper.java
@@ -79,7 +79,7 @@ public class JetTypeMapper {
     }
 
     public Type mapType(final JetType jetType) {
-        if (jetType.equals(JetStandardClasses.getUnitType())) {
+        if (jetType.equals(JetStandardClasses.getUnitType()) || jetType.equals(JetStandardClasses.getNothingType())) {
             return Type.VOID_TYPE;
         }
         if (jetType.equals(standardLibrary.getIntType())) {
-- 
GitLab