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!!
+}