From 6a8f2e14fb4c327e878fac79380077d04d69c93d Mon Sep 17 00:00:00 2001
From: Stepan Koltsov <stepan.koltsov@jetbrains.com>
Date: Thu, 9 Feb 2012 22:25:11 +0400
Subject: [PATCH] another case in JetDiagnosticsTest

simple unclassified case not covered by other tests
---
 .../OverridenFunctionAndSpecifiedTypeParameter.jet  | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 compiler/testData/diagnostics/tests/OverridenFunctionAndSpecifiedTypeParameter.jet

diff --git a/compiler/testData/diagnostics/tests/OverridenFunctionAndSpecifiedTypeParameter.jet b/compiler/testData/diagnostics/tests/OverridenFunctionAndSpecifiedTypeParameter.jet
new file mode 100644
index 00000000000..297eb3aefff
--- /dev/null
+++ b/compiler/testData/diagnostics/tests/OverridenFunctionAndSpecifiedTypeParameter.jet
@@ -0,0 +1,13 @@
+
+trait Aaa<T> {
+  fun zzz(value: T): Unit
+}
+
+class Bbb<T>() : Aaa<T> {
+    override fun zzz(value: T) { }
+}
+
+fun foo() {
+    var a = Bbb<Double>()
+    a.zzz(10.0)
+}