From 821127ac7e66b5be63b792ef0003e96950f56adb Mon Sep 17 00:00:00 2001
From: Andrey Breslav <andrey.breslav@jetbrains.com>
Date: Fri, 4 May 2012 20:07:16 +0400
Subject: [PATCH] Immediate recursion allowed in substitutions

The assertion is kept commented for future use
---
 .../src/org/jetbrains/jet/lang/types/TypeSubstitutor.java       | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/frontend/src/org/jetbrains/jet/lang/types/TypeSubstitutor.java b/compiler/frontend/src/org/jetbrains/jet/lang/types/TypeSubstitutor.java
index c95ae021720..b92cae7e00a 100644
--- a/compiler/frontend/src/org/jetbrains/jet/lang/types/TypeSubstitutor.java
+++ b/compiler/frontend/src/org/jetbrains/jet/lang/types/TypeSubstitutor.java
@@ -81,7 +81,7 @@ public class TypeSubstitutor {
 
     public static TypeSubstitutor create(@NotNull Map<TypeConstructor, TypeProjection> substitutionContext) {
         Map<TypeConstructor, TypeProjection> cleanContext = SubstitutionUtils.removeTrivialSubstitutions(substitutionContext);
-        SubstitutionUtils.assertNotImmediatelyRecursive(cleanContext);
+        //SubstitutionUtils.assertNotImmediatelyRecursive(cleanContext);
         return createUnsafe(cleanContext);
     }