From e09a8a2b7f821be43703bd5bf3a064e171d8f66c Mon Sep 17 00:00:00 2001
From: Vlad Ureche <vlad.ureche@gmail.com>
Date: Mon, 2 Sep 2013 19:08:49 +0200
Subject: SI-4012 Mixin and specialization work well

The bug was fixed along with SI-7638 in 504b5f3.
---
 test/files/pos/SI-4012-a.scala | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 test/files/pos/SI-4012-a.scala

(limited to 'test/files/pos/SI-4012-a.scala')

diff --git a/test/files/pos/SI-4012-a.scala b/test/files/pos/SI-4012-a.scala
new file mode 100644
index 0000000000..7fceeea3c3
--- /dev/null
+++ b/test/files/pos/SI-4012-a.scala
@@ -0,0 +1,7 @@
+trait C1[+A] {
+  def head: A = sys.error("")
+}
+trait C2[@specialized +A] extends C1[A] {
+  override def head: A = super.head
+}
+class C3 extends C2[Char] 
-- 
cgit v1.2.3