From b9785280a7138a2bb52060faf94807aa0d07dec1 Mon Sep 17 00:00:00 2001
From: Paul Phillips <paulp@improving.org>
Date: Wed, 24 Aug 2011 17:11:55 +0000
Subject: Renamed tests named bugXXX to tXXX, no review.

---
 test/files/neg/t836.scala | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 test/files/neg/t836.scala

(limited to 'test/files/neg/t836.scala')

diff --git a/test/files/neg/t836.scala b/test/files/neg/t836.scala
new file mode 100644
index 0000000000..3633b816c6
--- /dev/null
+++ b/test/files/neg/t836.scala
@@ -0,0 +1,16 @@
+abstract class Obj { type S }
+class ObjImpl extends Obj { type S = String }
+
+abstract class A {
+  type MyObj <: Obj
+  type S = MyObj#S
+
+  val any:  Any = 0
+  val some: S = any   // compiles => type X is set to scala.Any
+}
+
+class B extends A {
+  type MyObj = ObjImpl
+  val myString:   S = "hello"
+  val realString: String = myString   // error: type missmatch
+}
-- 
cgit v1.2.3