From d27c8b7d61ec93090381b1d49a40044ba71c0bb8 Mon Sep 17 00:00:00 2001
From: Svetlana Isakova <svetlana.isakova@jetbrains.com>
Date: Fri, 29 Nov 2013 19:53:02 +0400
Subject: [PATCH] added test for obsolete task  #KT-4034 Fixed

---
 .../controlFlowAnalysis/definiteReturn/kt4034.kt      | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 compiler/testData/diagnostics/tests/controlFlowAnalysis/definiteReturn/kt4034.kt

diff --git a/compiler/testData/diagnostics/tests/controlFlowAnalysis/definiteReturn/kt4034.kt b/compiler/testData/diagnostics/tests/controlFlowAnalysis/definiteReturn/kt4034.kt
new file mode 100644
index 00000000000..284a07bffc3
--- /dev/null
+++ b/compiler/testData/diagnostics/tests/controlFlowAnalysis/definiteReturn/kt4034.kt
@@ -0,0 +1,11 @@
+// !DIAGNOSTICS: -UNUSED_PARAMETER
+
+// KT-4034 An expression of type Nothing may not affect 'definite return' analysis
+
+trait JavaClassifierType
+trait TypeUsage
+trait JetType
+
+private fun transformClassifierType(classifierType: JavaClassifierType, howThisTypeIsUsed: TypeUsage): JetType? {
+    null!!
+}