diff --git a/idea/testData/checker/diagnosticsMessage/noSubstitutedTypeParameter.kt b/idea/testData/checker/diagnosticsMessage/noSubstitutedTypeParameter.kt
new file mode 100644
index 00000000000..25c1ac49f66
--- /dev/null
+++ b/idea/testData/checker/diagnosticsMessage/noSubstitutedTypeParameter.kt
@@ -0,0 +1,7 @@
+val f = listOf("").<error descr="[TYPE_INFERENCE_PARAMETER_CONSTRAINT_ERROR] Type inference failed: fun <T> Iterable<T>.firstOrNull(predicate: (T) -> Boolean): T?
+cannot be applied to
+receiver: List<String>  arguments: (Int)
+">firstOrNull</error>(<error descr="[CONSTANT_EXPECTED_TYPE_MISMATCH] The integer literal does not conform to the expected type (String) -> Boolean">1</error>)
+
+fun <T> listOf(element: T): List<T> = java.util.Collections.singletonList(element)
+fun <T> Iterable<T>.firstOrNull(<warning>predicate</warning>: (T) -> Boolean): T? = null
\ No newline at end of file
diff --git a/idea/tests/org/jetbrains/kotlin/checkers/PsiCheckerTestGenerated.java b/idea/tests/org/jetbrains/kotlin/checkers/PsiCheckerTestGenerated.java
index 0317f036afc..ca1b86f5dce 100644
--- a/idea/tests/org/jetbrains/kotlin/checkers/PsiCheckerTestGenerated.java
+++ b/idea/tests/org/jetbrains/kotlin/checkers/PsiCheckerTestGenerated.java
@@ -992,6 +992,12 @@ public class PsiCheckerTestGenerated extends AbstractPsiCheckerTest {
             doTest(fileName);
         }
 
+        @TestMetadata("noSubstitutedTypeParameter.kt")
+        public void testNoSubstitutedTypeParameter() throws Exception {
+            String fileName = KotlinTestUtils.navigationMetadata("idea/testData/checker/diagnosticsMessage/noSubstitutedTypeParameter.kt");
+            doTest(fileName);
+        }
+
         @TestMetadata("operatorCallDiagnosticsOnInOperator.kt")
         public void testOperatorCallDiagnosticsOnInOperator() throws Exception {
             String fileName = KotlinTestUtils.navigationMetadata("idea/testData/checker/diagnosticsMessage/operatorCallDiagnosticsOnInOperator.kt");