From ec39105183e8c18c705f897861916b370f9504dd Mon Sep 17 00:00:00 2001
From: Andrey Breslav <andrey.breslav@jetbrains.com>
Date: Mon, 2 Dec 2013 22:41:43 +0400
Subject: [PATCH] Type parameter is not an expression: no need to report
 'unused expression' on it

---
 compiler/testData/cfg/typeParameter.instructions  | 15 +++++++++++++++
 compiler/testData/cfg/typeParameter.kt            |  3 +++
 .../incompleteCode/typeParameterOnLhsOfDot.kt     |  2 +-
 .../jet/cfg/ControlFlowTestGenerated.java         |  5 +++++
 4 files changed, 24 insertions(+), 1 deletion(-)
 create mode 100644 compiler/testData/cfg/typeParameter.instructions
 create mode 100644 compiler/testData/cfg/typeParameter.kt

diff --git a/compiler/testData/cfg/typeParameter.instructions b/compiler/testData/cfg/typeParameter.instructions
new file mode 100644
index 00000000000..f656ec4dbb5
--- /dev/null
+++ b/compiler/testData/cfg/typeParameter.instructions
@@ -0,0 +1,15 @@
+== foo ==
+fun <T> foo() {
+    T
+}
+---------------------
+L0:
+    <START>                       NEXT:[error(T, No resolved call)]    PREV:[]
+    error(T, No resolved call)    NEXT:[<END>]                         PREV:[<START>]
+L1:
+    <END>                         NEXT:[<SINK>]                        PREV:[error(T, No resolved call)]
+error:
+    <ERROR>                       NEXT:[<SINK>]                        PREV:[]
+sink:
+    <SINK>                        NEXT:[]                              PREV:[<ERROR>, <END>]
+=====================
diff --git a/compiler/testData/cfg/typeParameter.kt b/compiler/testData/cfg/typeParameter.kt
new file mode 100644
index 00000000000..68881dea2fb
--- /dev/null
+++ b/compiler/testData/cfg/typeParameter.kt
@@ -0,0 +1,3 @@
+fun <T> foo() {
+    T
+}
\ No newline at end of file
diff --git a/compiler/testData/diagnostics/tests/incompleteCode/typeParameterOnLhsOfDot.kt b/compiler/testData/diagnostics/tests/incompleteCode/typeParameterOnLhsOfDot.kt
index fff988a87f1..f0df88331c0 100644
--- a/compiler/testData/diagnostics/tests/incompleteCode/typeParameterOnLhsOfDot.kt
+++ b/compiler/testData/diagnostics/tests/incompleteCode/typeParameterOnLhsOfDot.kt
@@ -2,7 +2,7 @@ package bar
 
 class S<T> {
     fun foo() {
-        <!TYPE_PARAMETER_IS_NOT_AN_EXPRESSION, UNUSED_EXPRESSION!>T<!>
+        <!TYPE_PARAMETER_IS_NOT_AN_EXPRESSION!>T<!>
         <!TYPE_PARAMETER_ON_LHS_OF_DOT!>T<!>.<!UNRESOLVED_REFERENCE!>create<!>()
     }
 }
\ No newline at end of file
diff --git a/compiler/tests/org/jetbrains/jet/cfg/ControlFlowTestGenerated.java b/compiler/tests/org/jetbrains/jet/cfg/ControlFlowTestGenerated.java
index 78be8557aa0..7d536615b21 100644
--- a/compiler/tests/org/jetbrains/jet/cfg/ControlFlowTestGenerated.java
+++ b/compiler/tests/org/jetbrains/jet/cfg/ControlFlowTestGenerated.java
@@ -171,6 +171,11 @@ public class ControlFlowTestGenerated extends AbstractControlFlowTest {
         doTest("compiler/testData/cfg/ShortFunction.kt");
     }
     
+    @TestMetadata("typeParameter.kt")
+    public void testTypeParameter() throws Exception {
+        doTest("compiler/testData/cfg/typeParameter.kt");
+    }
+    
     @TestMetadata("unresolved.kt")
     public void testUnresolved() throws Exception {
         doTest("compiler/testData/cfg/unresolved.kt");