From 7cc1ed5cb16c8761cc9c0647f2876fc67cf38303 Mon Sep 17 00:00:00 2001
From: Alexander Udalov <Alexander.Udalov@jetbrains.com>
Date: Mon, 18 Mar 2013 14:52:29 +0400
Subject: [PATCH] Add regression test for KT-3413

---
 compiler/testData/codegen/box/traits/kt3413.kt           | 9 +++++++++
 .../codegen/generated/BlackBoxCodegenTestGenerated.java  | 5 +++++
 2 files changed, 14 insertions(+)
 create mode 100644 compiler/testData/codegen/box/traits/kt3413.kt

diff --git a/compiler/testData/codegen/box/traits/kt3413.kt b/compiler/testData/codegen/box/traits/kt3413.kt
new file mode 100644
index 00000000000..30cefd6fa2c
--- /dev/null
+++ b/compiler/testData/codegen/box/traits/kt3413.kt
@@ -0,0 +1,9 @@
+trait Trait<T : Enum<T>> : Enum<T> {
+    val value : String get() = name()
+}
+
+enum class E : Trait<E> {
+    OK
+}
+
+fun box() = E.OK.value
diff --git a/compiler/tests/org/jetbrains/jet/codegen/generated/BlackBoxCodegenTestGenerated.java b/compiler/tests/org/jetbrains/jet/codegen/generated/BlackBoxCodegenTestGenerated.java
index 5f412e318bb..4b695dcce92 100644
--- a/compiler/tests/org/jetbrains/jet/codegen/generated/BlackBoxCodegenTestGenerated.java
+++ b/compiler/tests/org/jetbrains/jet/codegen/generated/BlackBoxCodegenTestGenerated.java
@@ -3250,6 +3250,11 @@ public class BlackBoxCodegenTestGenerated extends AbstractBlackBoxCodegenTest {
             doTest("compiler/testData/codegen/box/traits/kt2963.kt");
         }
         
+        @TestMetadata("kt3413.kt")
+        public void testKt3413() throws Exception {
+            doTest("compiler/testData/codegen/box/traits/kt3413.kt");
+        }
+        
         @TestMetadata("multiple.kt")
         public void testMultiple() throws Exception {
             doTest("compiler/testData/codegen/box/traits/multiple.kt");