From cd1ca92f745e0010db85d91aefc5e2f996929cdf Mon Sep 17 00:00:00 2001
From: "Pavel V. Talanov" <Pavel.Talanov@jetbrains.com>
Date: Wed, 25 Jul 2012 14:48:40 +0400
Subject: [PATCH] KT-53: Allow generic parameter passing for properties.

Obsolete issue.

 #KT-53 Fixed
---
 compiler/testData/diagnostics/tests/kt53.kt                 | 6 ++++++
 .../jetbrains/jet/checkers/JetDiagnosticsTestGenerated.java | 5 +++++
 2 files changed, 11 insertions(+)
 create mode 100644 compiler/testData/diagnostics/tests/kt53.kt

diff --git a/compiler/testData/diagnostics/tests/kt53.kt b/compiler/testData/diagnostics/tests/kt53.kt
new file mode 100644
index 00000000000..b1e33a7f1e9
--- /dev/null
+++ b/compiler/testData/diagnostics/tests/kt53.kt
@@ -0,0 +1,6 @@
+val <T, E> T.foo : E?
+    get() = null
+
+fun test(): Int? {
+    return 1.foo
+}
\ No newline at end of file
diff --git a/compiler/tests/org/jetbrains/jet/checkers/JetDiagnosticsTestGenerated.java b/compiler/tests/org/jetbrains/jet/checkers/JetDiagnosticsTestGenerated.java
index 2afddc92f0e..1c8f7d59ecd 100644
--- a/compiler/tests/org/jetbrains/jet/checkers/JetDiagnosticsTestGenerated.java
+++ b/compiler/tests/org/jetbrains/jet/checkers/JetDiagnosticsTestGenerated.java
@@ -270,6 +270,11 @@ public class JetDiagnosticsTestGenerated extends AbstractDiagnosticsTestWithEage
             doTest("compiler/testData/diagnostics/tests/kt310.kt");
         }
         
+        @TestMetadata("kt53.kt")
+        public void testKt53() throws Exception {
+            doTest("compiler/testData/diagnostics/tests/kt53.kt");
+        }
+        
         @TestMetadata("LValueAssignment.kt")
         public void testLValueAssignment() throws Exception {
             doTest("compiler/testData/diagnostics/tests/LValueAssignment.kt");