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);
     }