From 2a4cac024b32aab814407546654a910080020a44 Mon Sep 17 00:00:00 2001
From: Mikhail Zarechenskiy <mikhail.zarechenskiy@jetbrains.com>
Date: Mon, 19 Jun 2017 04:18:03 +0300
Subject: [PATCH] Add test for obsolete issue

 #KT-13813 Obsolete
---
 .../diagnosticsMessage/incompleteTypeArgumentList.kt        | 3 +++
 .../jetbrains/kotlin/checkers/PsiCheckerTestGenerated.java  | 6 ++++++
 2 files changed, 9 insertions(+)
 create mode 100644 idea/testData/checker/diagnosticsMessage/incompleteTypeArgumentList.kt

diff --git a/idea/testData/checker/diagnosticsMessage/incompleteTypeArgumentList.kt b/idea/testData/checker/diagnosticsMessage/incompleteTypeArgumentList.kt
new file mode 100644
index 00000000000..156f97620d0
--- /dev/null
+++ b/idea/testData/checker/diagnosticsMessage/incompleteTypeArgumentList.kt
@@ -0,0 +1,3 @@
+interface ApplicationFeature<in P : Pipeline<*>, B : Any, V>
+open class Pipeline<TSubject : Any>()
+fun <A : Pipeline<*>, T : Any, V> A.feature(<warning>feature</warning>: ApplicationFeature<error descr="[WRONG_NUMBER_OF_TYPE_ARGUMENTS] 3 type arguments expected for interface ApplicationFeature<in P : Pipeline<*>, B : Any, V> defined in root package in file incompleteTypeArgumentList.kt"><A, T></error>) : Unit {}
\ 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 1a57b8b867b..0317f036afc 100644
--- a/idea/tests/org/jetbrains/kotlin/checkers/PsiCheckerTestGenerated.java
+++ b/idea/tests/org/jetbrains/kotlin/checkers/PsiCheckerTestGenerated.java
@@ -986,6 +986,12 @@ public class PsiCheckerTestGenerated extends AbstractPsiCheckerTest {
             KotlinTestUtils.assertAllTestsPresentByMetadata(this.getClass(), new File("idea/testData/checker/diagnosticsMessage"), Pattern.compile("^(.+)\\.kt$"), TargetBackend.ANY, true);
         }
 
+        @TestMetadata("incompleteTypeArgumentList.kt")
+        public void testIncompleteTypeArgumentList() throws Exception {
+            String fileName = KotlinTestUtils.navigationMetadata("idea/testData/checker/diagnosticsMessage/incompleteTypeArgumentList.kt");
+            doTest(fileName);
+        }
+
         @TestMetadata("operatorCallDiagnosticsOnInOperator.kt")
         public void testOperatorCallDiagnosticsOnInOperator() throws Exception {
             String fileName = KotlinTestUtils.navigationMetadata("idea/testData/checker/diagnosticsMessage/operatorCallDiagnosticsOnInOperator.kt");