summaryrefslogtreecommitdiff
path: root/test/neg/vincent.scala
diff options
context:
space:
mode:
Diffstat (limited to 'test/neg/vincent.scala')
-rw-r--r--test/neg/vincent.scala21
1 files changed, 0 insertions, 21 deletions
diff --git a/test/neg/vincent.scala b/test/neg/vincent.scala
deleted file mode 100644
index b61c8c4127..0000000000
--- a/test/neg/vincent.scala
+++ /dev/null
@@ -1,21 +0,0 @@
-module test {
-
- trait A { type T; }
-
- trait B { type T; }
-
- /** def functor(x: A): B { type T = x.T } */
- abstract class functor() {
- val arg: A;
- val res: B { type T = arg.T } =
- new B { type T = arg.T; };
- }
-
- val a = new A { type T = String };
- /** val b: B { type T = String } = functor(a) */
- val b: B { type T = String } = {
- val tmp = new functor() { val arg = a };
- tmp.res
- }
-
-}