From 4ee0a666cb4077fc0eaf405bc848d8c89b2b4bd9 Mon Sep 17 00:00:00 2001
From: "victor.petukhov" <victor.petukhov@jetbrains.com>
Date: Thu, 4 Oct 2018 15:04:14 +0300
Subject: [PATCH] Temporary mute test with FrontEndException (KT-26386)

---
 .../declarations/contractBuilder/common/neg/5.kt          | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/compiler/tests-spec/testData/diagnostics/notLinked/contracts/declarations/contractBuilder/common/neg/5.kt b/compiler/tests-spec/testData/diagnostics/notLinked/contracts/declarations/contractBuilder/common/neg/5.kt
index 9235332e4e9..08ae43c6d1e 100644
--- a/compiler/tests-spec/testData/diagnostics/notLinked/contracts/declarations/contractBuilder/common/neg/5.kt
+++ b/compiler/tests-spec/testData/diagnostics/notLinked/contracts/declarations/contractBuilder/common/neg/5.kt
@@ -31,10 +31,10 @@ fun case_3(): Boolean {
  UNEXPECTED BEHAVIOUR
  ISSUES: KT-26386
  */
-fun case_4(): Boolean? {
-    contract { returns(null) implies case_4() }
-    return null
-}
+//fun case_4(): Boolean? {
+//    contract { returns(null) implies case_4() }
+//    return null
+//}
 
 fun case_5(): Boolean? {
     contract { returns(null) implies <!TYPE_INFERENCE_EXPECTED_TYPE_MISMATCH, ERROR_IN_CONTRACT_DESCRIPTION!>listOf(0)<!> }